I've pushed all three patches, with some better commit messages etc.
thanks!
-- Tomas VondraEnterpriseDB: http://www.enterprisedb.comThe Enterprise PostgreSQL Company