Well, that was that.
The Games held in a pandemic is now over. It was getting a little too much for me: the commercial-filled coverage from NBC with the taa-ta-ra-tataa music, and my Twitter feed filled up with stories and superlatives (best ever, most medals).