@eric credit to @deAdder, who has a Mastodon account - but I see that he hasn't posted anything since Dec. 22nd. I'm tagging him anyway; in case he checks.