The keen-eyed among you (who aren’t reading this in RSS) may have noticed a few tweaks in the blog presentation. I’ve added numbering to the comments, and I’ve written a tiny plugin and made some changes to support distinguishing my comments from the ones the rest of you make. (With the amount of comments I get here this is completely… Read more →