> Seems OK to me, in fact maybe preferred. But I wonder if we should emit > a NOTICE when old names are used with SHOW and SET commands?
A WARNING should be issued.
Chris