Some minor cleanup this morning, mostly just a retuning of filters, updating links, and dropping some journals from which there hasn’t been a post in months (or in some cases, years, and even a couple that turned out to have been deleted). If you feel you got dropped or refiltered by mistake, let me know.
(Some minor tweaks to style went in last night, too.)