pull down to refresh

This should roll out toward the end of the year or beginning of next year.
The first stage of the new editor is in QA and review, and will probably release next week (although this is a mostly invisible change until stage 2 and 3). We are focused on making a markdown-to-rich-text isomorphism extremely reliable first before adding new features to the editor. Adding these new features is stage 4.