Every now and then I try to do some more clean up of developer.gnome.org, aiming to move any good content to library.gnome.org, as docbook in a source code module, so it can be kept up to date by the relevant people, and translated, or library.gnome.org, as an external link to some other website, or live.gnome.org, [...]


