I’ve just changed a couple of things about the website:
- The search box now searches all website pages and comments as well as the blog posts, using the Search Everything plug-in.
- The RSS feed now contains the full text of every post, thanks to the Full Text Feed plug-in.