Rename custom config entries

[d-loose]

Change user.* to user.workshops.* in order to avoid unnecessary pollution of user configuration entries. Also enables us to hide our custom settings in the UI