I have just completed an unscheduled maintenance of this blog, after I discovered there could be something wrong with the RSS feed of the blog’s comments. I hoped the problem is fixed now. If your RSS subscription to the blog’s comments is no longer being updated, please delete the old link and resubscribe. Apologies for the inconvenience.
While fixing the above, I took the opportunity to upgrade some WordPress plugins. I would very much appreciate a feedback if you are seeing problem when accessing this blog.