pull down to refresh

#74936/edit … you can do this on any item (even ones you don’t own)

That's exactly what I was looking for, thanks!.

And I don't think it's needed to have a UI element for this, since the use case is tiny.

reply

There is also a "rich text to markdown" converter, so you can copy and paste to get the markdown. Works with browser content from any site:

Paste to Markdown
http://euangoddard.github.io/clipboard2markdown/

reply