On Tuesday, 30 January 2024 at 16:27:34 UTC, Mike Parker wrote: > On Tuesday, 30 January 2024 at 15:58:46 UTC, jmh530 wrote: > >> Does it really matter? > > Of course not. Just sharing what I found since it came up. It doesn't matter as such, but answering competition is a good excuse for it :-)