I’m trying to provide different users with a different set of servers. Can the user-profile setting be added to the list of options for the config-per-user config files? Thanks, Niels