pull down to refresh

Mermaid is a great tool. I used it from time to time though I've never used it on a site. It would be great to have it on Stackernews but I'm not sure of the performance implications.