New GNOME Human Interface Guidelines now official – a