Summer Housecleaning … and off-topic posts I finally found a few minutes to make a couple of necessary updates to the blog. In the left sidebar, under the “search” box, you can find a number of options for reading this blog in various RSS readers. Under each post—when you view it as an individual post (which you can do by clicking on...