Published on May 14, 2024 [Permalink] OK. I’ve been busy today. I got a lot of stuff accomplished, but it’s still not Friday.