A small rationalist win, and a question about promulgation — LessWrong