Sorry, folks, for all these category sticky posts, which will head pages in various categories and gradually gather together helpful links outside the blog relevant to them. I don’t think I can remove them from the blog home, but they will slide down the page soon enough. This is all the result of recent website reorganization in which I have begun using separate home pages for desktop and mobile devices.