Commenting fixed

As has become customary, when I changed the blog’s theme I also managed to break commenting for anyone not logged in (i.e., anyone other than me). ‘Tis fixed now.