On Sun, Feb 26, 2023 at 01:29:46PM +0000, Gavin Smith wrote: > I added it as NO_GRATUITIOUS_UTF8, although it may be better to make the > "super-option" "ASCII_PUNCTUATION" (the original variable), and rename > the current ASCII_PUNCTUATION to something else, e.g. > 'ASCII_DASHES_AND_QUOTES'.
I've made this swap-around.
