On 11/23/23 21:07, Greg 'groggy' Lehey wrote: > It does presumably have the advantage that > companies don't start with their Christmas advertising in early > October. Eh ... I'm seeing Christmas start earlier and earlier. There's also Christmas in July, or something like that. -- Grant. . . .