D developer.gnome.org Updated GNOME User Interface Guidelines are now official 75 points pjmlp 5 years ago 77 comments