On 19 Jul 2020, at 21:23, Olivier <olivier.nic...@cs.ait.ac.th> wrote: > Please consider adding an easy way to turn the backward compatibility on > and off.
I would suggest to settings, one that warns the definition has changed and one that errors on the old term rather than just a "turn on compatibility" which will mean that some people just turnout on an then never update. -- 'Never build a dungeon you wouldn't be happy to spend the night in yourself,' said the Patrician (...). 'The world would be a happier place if more people remembered that.' --Guards! Guards!