8.5 TODO: Add comments to output indicating version of pg_dump and of the database server - Mailing list pgsql-hackers

From pg_dump/pg_restore section (9.2 of the Todo page on the
PostgreSQL Wiki), is the following item "Add comments to output indicating version of pg_dump and of the
database server"

simply asking for a change to the pg_dump header from:

--
-- PostgreSQL database dump
--

to something like:

-- PostgreSQL database dump
--
-- pg_dump version: 8.5devel
--
-- remote database version: 8.5devel (80500)
--

?