I’ve been thinking about installing a caching plugin on this site. After reading this thread on reddit, I think W3 Total Cache is out. Maybe I’ll try WP Super Cache instead. That one sounds like it would be more straightforward to remove, if need be.