Administrivia: 17 April 2023

Wrote this.

Am ensconced in library for the day. May write other things, may do other things today. If so, I’ll edit this post.

[edit] Okay, updated this page too. By the way, if you look at the latest posts from the Updates menu link, you can’t see links in the post body from there. You’ll have to actually go to the post for them to be clickable.