Problem dropping databases

I was working on docs and notice that Postgres no longer responds with a
warning if a database is dropped multiple times:

postgres=> drop database yahoo;
DESTROYDB
postgres=> drop database yahoo;
DESTROYDB
postgres=> \c yahoo
connecting to new database: yahoo
FATAL 1:  Database 'yahoo' does not exist.
golem$ psql
postgres=> drop database yahoo;
DESTROYDB

The destroydb command behaves similarly. The behavior documented by
Jose' was:

postgres=> drop database yahoo;
DESTROYDB
postgres=> drop database yahoo;
WARN: destroydb: database "yahoo" does not exist.

Bruce, this should probably go on the open issues list and be fixed for
v6.4...

                        - Tom