Comment by yreg

MIRI = Eliezer Yudkowsky. EY used to delete mentions of RB on LessWrong forums. They don't exactly use it as a promotional tool.