Nit
Profile redirection: Allow disabling with Opt[noProfileRedirect].