Someone updating a wiki page on the Keyboard Maestro server and asking about a specific style choice - and after looking, it turns out I wrote the page in 2008 (!), nearly two decades ago, and it hadn't been modified since. I may have been doing this stuff for too long!