pull down to refresh

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.
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:
reply