This docs patch was combined with a similar one and has now been pushed [1].
I have closed the CF entry.
======[1] https://www.postgresql.org/message-id/E1wheve-000Epy-38@gemulon.postgresql.org
Kind RegardsPeter Smith.Fujitsu Australia