On Thursday, 18 November 2021 at 13:37:57 UTC, Ola Fosheim Grøstad wrote: >> That's not global. > > That's a rather pedantic statement. It is an important distinction since you get this if you want it and don't get it if you don't.