Paul Eggert Thu, 08 Nov 2018 13:21:16 -0800
I vote for applying it as-is. I doubt whether existing grammars will notice.
