This is a test to see if I can reproduce the problem.
[NOTE ADDED 30 MINUTES LATER]
OK, I was able to reproduce the problem, and I've now fixed it! I apologize. This was my fault -- I was making some changes to the forum-editing PHP code and inadvertently broke it.
Bruce
