7.3.1 documentation updates

I have not been aggressive about backpatching documentation improvements
into 7.3.1.  Is that something I should check?

As I remember, we didn't update the official docs for minor releases. 
Is that still true?

--  Bruce Momjian                        |  http://candle.pha.pa.us pgman@candle.pha.pa.us               |  (610)
359-1001+  If your life is a hard drive,     |  13 Roberts Road +  Christ can be your backup.        |  Newtown Square,
Pennsylvania19073