Thanks, pushed. I reworded the comment again, though.
-- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/