Re: woo hoo!

[http://dummy.us.eu.org/robert (Robert)]

 > From: Brian <http://www.cs..edu/~b>
 > Date: Fri, 18 Sep 2020 02:46:18 -0700
 > 
 > As I'm thinking about all this, I realize that in effect I've decided 
 > really to retire.  I'm just blowing off anything that isn't fun.  But 
 > this de facto decision is covid-influenced and maybe I'll unretire when 
 > things are back to normal, if ever.  (Not in 2021, they're saying.)

We were told earlier this week not to bother coming into the office before
the end of the year.  (They are going to re-evaluate the situation then.)
So, you may be right: 2022 may be the back-to-normal.