That last one was me again, as was probably obvious. Now that the double-posting problem seems to have been solved, I should find a way to make only one post at a time. (Or maybe in some future version we'll be able to edit our own posts?)