Attached is a patch to fix this issue. Please let me know if there are comments and/or objections.
I think there are a couple tools missing: pg_archivecleanup, pg_ctl, pg_test_fsync and pg_upgrade. pg_regress also, but there is nothing to do in the documentation with it.