Sorry, I don't want to lose any more of life to CSS debating. If you want to take over maintenance of gendocs.sh, that would be fine.
Right now the upstream is in Texinfo, but that is historical -- no one else wanted to maintain it, so I ended up doing so. It could be maintained as part of guix, or gnulib, or anywhere. I really don't care. It's a horrible shell script. karl
