0.0.8

Sorry — the editor integration has been abandoned

• We discovered several critical issues, so we had no choice but to give up.
• We’ve rolled back the editor-integration patch.