Time to take a break

I’m not going to post any new material on this web site until the pandemic emergency dies down.