Since my initial post, I discovered that the prefs get stored to `/home/users/*/preferences.` I also discovered that the user's session has the wrong user id, so the preferences get saved but not for the current user. This is all due to a dispatcher reconfiguration; we failed to add a rule to prev...