Did anybody else have trouble posting here today? Earlier, I tried to comment several times, and they all went into some sort of infinite loop, and the comment was never posted. Anyways, no big deal, it seems to work now, even if it is still quite slow to post.