in fact the text I wrote will also be valid and applicable in 5 or 10
years
We can hope.
Until this separate manual exists, I think the best place is the
gnulib manual.
Indeed, I think the gnulib manual is the best place, especially if
gnulib modules are going to be discussed. I don't see much gain in
introducing the overhead of another manual.
