Bruce Momjian <bruce@momjian.us> writes:
> Should I make the change now? It is easy.
Yes.
> Should we remove the names completely?
That would be a policy change too, and one that probably requires more
leisurely consideration than we have time for today.
regards, tom lane
