As I was looking for a way to submit a patch to the documentation of the kernel about the
i386 --> x86 as well as x86_64 change, I came on to an
article about the linux documentation, which gave a pointer on the work of Rob Landley at
kernel.org/doc.
I may take a look at what could be missing tomorrow.