As GNOME 3.2 approaches quickly I had to realize that perfect is the enemy of good. After putting the remaining TODOs into the random categories FIXLATER, NEEDHELP, MUSTFIX and DONTCARE and after having no MUSTFIXes left, I merged the new User Documentation today into the codebase. It will be available on library.gnome.org from August 17th on (that is when the next tarball 3.1.5 will be released), and while a few pages could still be improved I can at least promise that nothing is worse than in the old manual.
I’ve mostly failed to attract contributors but I welcome everybody to fix any remaining issues by searching for TODOs in the checkout (how-to), to translate the new docs to your favorite language, to file bug reports about stuff that is improvable, and to buy me some icecream or beer at Desktop Summit Berlin tomorrow. Or next year in Brno in case our proposal will be successful. Cheers!