Client user settings are saved in user-settings.json, but shared user settings are saved in user-settings.xml (in the code bellow). Can we name these files more descriptively?