Thank you! I have pushed this with some other cosmetic changes -- in particular I added comments in a bunch of places to clarify the role of the Relation entries being used and which descriptors we use for each.
-- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/ "La virtud es el justo medio entre dos defectos" (Aristóteles)
