That would really settle the issue, and end this rather irrelevant discussion. > Am 20.11.2019 um 00:36 schrieb Paul Eggert <eggert at cs.ucla.edu>: > > I'd rather follow Calcutta's precedent, which is to change the name with a backwards-compatibility link.