Fast way to download a video from an URL
In addition to fiddling around in Mercury Browser:

I found a collection of ugly-looking spammy apps: Video Downloader. I tried the purple one by Appsneon, it seems to work fine.

It shows a download button on iOS video player overlay, when browsing through the app. This is more convenient than Mercury Browser's approach. I wish mainstream browsers would offer this option as well.