Many thanks in advance for your help!
#498273 seems relevant too.
Could it be tagged appropriately so it appears in your list?
It would be useful for people w/o docbook skills trying to see
the context of their proposed patches.
I mention it as I was looking at #489132 and was unable to find a
version with the section numbers that Giovanni quoted...