[ishouldbework]

Huh, I had no idea the <profile> argument to -P is optional (--help does not say), I was always using --ProfileManager instead. Nice quality of life improvement, thanks for the information!

[agumonkey]

ah well, ironically I had no idea that -P could take a profile-name arg.. I always used it without to trigger the gui .. so I return the thanks