Okay, I have the following voting results:
2 for pgcreatedb, pgdropdb, pgcreateuser, pgdropuser (Bruce, me)
1 for pg_createdb, pg_dropdb, etc. (Sergio K.)
1/2 for pgadduser, etc., or sth. like that (Marc)
1/2 for leave as is (Thomas)
1 for drop altogether (Marc)
Well, since this is not on the immediate agenda I'll leave it open for a
while, but you see the leading vote getter.
In addition I'll add a configure option --with-pragmatic-scrappy which
will prevent the installation of the scripts altogether.
-Peter
