The man pages could be generated with help2man, or they could point to the GNU info files.
On the other hand, Oliver promised me to add something like a consecutive number if I really need it for packaging purposes.