Note

The blogging service, BLOGGER, which hosts this blog, has been having difficulties the past day or so, and people who might have wanted to leave comments were not able to. However, that seems to have been fixed.