Administrative note.

I've enabled anonymous commenting on the posts (I didn't realize it was disabled), so if you wanted to leave a comment while not having to register with Blogger, you can now do so.