If it's worth saying, but not worth its own post, then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should start on Monday, and end on Sunday.
4. Unflag the two options "Notify me of new top level comments on this article" and "
FYI, I just banned an account "kings11me" who didn't participate in the forum, but was sending the following private message to multiple users:
(In other words, I am an evil villain who has just deprived MIRI of a possible $14.500.000 donation from a secret rationality benefactor masquerading as an ordinary spammer. Business as usual. Mwa-ha-ha-ha-ha!)