On 2019-Mar-27, Tomas Vondra wrote: > I think the consensus in this thread (and the previous ancient ones) is > that it's not worth it. It's one thing to introduce new commands with the > pg_ prefix, and it's a completely different thing to rename existing ones. > That has inherent costs, and as Tom pointed out the burden would fall on > people using PostgreSQL (and that's rather undesirable).
I thought the consensus was to rename them, and install symlinks to the old names. -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services