Now if only "cannot display date with the time in top panel" could be
a gnome3 blocker bug, that would be one less gnome3 issue. The other
major one of notifications being seemingly overengineered while still
being pretty useless probably is a bigger issue :/