Mini-mode now hides/shows tab group widget and has a separate label

[disorder] / debian / overrides.disorder-server

# No, we can't use '/etc/init.d/disorder stop', the whole point is to
# avoid problems with that not working.
disorder-server: start-stop-daemon-in-maintainer-script prerm:29