The comment function in this blog works again now. It was broken for the last 6 months or so. Ooops.

EOF