Miscellaneous tweaks for GNOME desktop
Tag names and layouts