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...