Some October 2026 quality of life changes

In no specific order: Removed the search box, because it wasn’t working. Not sure what I’ll replace this with yet. I’ll hopefully be able to leverage whatever CMS’s internal search tool is available when I move back off static-site generation. Fixed the More Buttons sidebar link. Updated the Slash Pages menu link to say /Pages. I like the concept of slash pages, but I despise the name. Sounds violent. Made the header a bit narrower, to take up less space. Implemented nicer CSS underlines, as I talked about recently. Fixed a bug in the RSS feed, and links to the podcast feed that a few of you sent in. Thank you. Something I was about to write before I sneezed, and now I can’t remember. Defaulted to system UI fonts. Not sure why. The fallbacks are the same as before. Looks about the same on BSD and Linux, and slightly nicer on macOS. I haven’t tried Windows. Updated nginx rules and pf(8) to block more bots. It’s a neverending battle, but whuddyagonnado? Tweaked the widths a bit. I’d…