Settings page: Add badge to show the number of customized settings

[nimo23]

Feature Description:

The settings page (User, Workspace) can be very overwhelming and searching for user-made settings can be tedious. It would be nice to add a hint(= badge) next to the settings group title showing the number of custom settings:

This hint may also be a "link hint", i.e. if you click on it, only the settings of the group that are currently adjusted (i.e. differ from the default settings) are displayed.