On 2020-07-26, at 20:50, Marc Petit-Huguenin <petithug@xxxxxxx> wrote: > > grandfather/grandfathered is used in a few RFCs: https://www.britannica.com/topic/grandfather-clause Thank you — we should collect these explanatory snippets so people like me who are not experts on US history can readily find the explanation why we shouldn’t be using these idioms any more. Grüße, Carsten
