[Shorel]

Noooo, no more Gnome ultra-minimalist and featureless interfaces.

If we ask for a better user interface, it pays to be sure it is actually an improvement.