So someone will need to update that list very soon then. I don't think we can release it as is.
-- Peter Eisentrauthttp://developer.postgresql.org/~petere/