What happened to the Sandy text editor? | Hacker News Reader