as Karl suggested at I feel the need to clarify that I did not "suggest" it. My exact words were "that would be fine". In other words, I was willing for it to happen, since although I find your proposed CSS changes quite wrong, I didn't (and don't) want to debate it and don't feel it's my place to stand in the way of perceived progress under those circumstances.
Anyway, I have removed gendocs.sh and gendocs_template* from Texinfo, removed the sync of those files from gnulib/config/srclist.txt, and will update maintain.texi soon. Best, Karl
