Quote:

Still, the notion of modifying every users' profile every time a group name changes...



True - if you are assigning the login script on each individual profile and calling it directly rather than with a wrapper batch / script it could be a large overhead.

Quote:

Maybe another SetOption as well for the built-in option.



You still have the problem of different people doing the scripting and group re-naming though.