Re: [PATCH] Documentation: Fix man page breakage with DocBook XSL v1.72

Jonas Fonseca [off-list ref] writes:

From version 1.72 it will replace all dots in roff requests with U+2302
("house" character), and add escaping in output for all instances of dot
that are not in roff requests.

Wasn't this "house" thing brought up on the list earlier?  I may
well be recalling things incorrectly, but I somehow thought that
DocBook people realized this was a mistake and the "house" trick
was retracted in later snapshots, or something.