Basically working Groups/Users choosr dialog
Improved css and open/close of groups/users chooser
For Admins show ALL groups after My Groups
Fix css on History and Search pages
Revert search.html changes, using dummy group_user_dropdown
Overflow-y:auto for groups_users menu
Removing empty blocks from css
Groups users menu wider
Mousewheel zoom centres on mouse location. See #12391
Add check if zoom center is null
Fix foregrounding when restarting.
Remove foregrounding from async methods.
Change JMX domain for metrics to the o.s.m package
Document doc-only for jvmcfg properties
Bumping err to 20 seconds
Fix headers to use '##'
Add Ice overrides section
Add corrections for S&B
Add link to Ice properties
Fix assert error which led to this bug (See #12474)

`assert STRING, CONDITION` will always pass
since a non-empty STRING is a valid CONDITION.