Manafold Markets is out of mana 🤭 — LessWrong