On Friday, 30 December 2022 at 13:48:29 UTC, Richard (Rikki) Andrew Cattermole wrote: > > Do a PR, then you won't have to worry about this going forward > ;) Complaining is more fun :)