Bastien Guerry writes: > Hi Nicolas, > >> "manual.org" was updated a month ago, and, so far, nobody complained >> about it. So, I think it's a good time to discuss about what could be >> done next. > > Having the manual in .org is a great achievement, congrats to anyone > who worked on this titanic task!
+1 !! Yours, Christian