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, if many non-developers [...]


