re: #130 b_sharp

So how is everybody this holiday Monday?

What holiday?

I’m lucky if I know what season it is. : )