[webui] Work around jquery-ui issues. Fixes #525
[webui] Remove the format specifier for groups. Fixes #502
[webui] Redirect after manipulating users. Fixes #493
[webui] Add link to unexpanded sources when there are conflicts. Fixes #462