Re: clean up docs for v12

[Alvaro Herrera]

This patch was applied as f73293aba4d4.  Thanks, Paul and Michael.

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services