Status of TODO item remove postmaster -o options

Hi,

what's the status of this todo item? The relevant thread from 2001 is here:

http://archives.postgresql.org/pgsql-hackers/2001-10/thrd6.php#00011

I think we should
leave the code alone, and instead document in 7.2 that -o is deprecated
(and explain what to do instead), with the intention of removing it in
7.3.

I didn't find such a notice in the 7.2 release notes.

Markus Bertheau