Immediately download archive if already cooked by the vault
When a requested archive has already been cooked by the vault, we can immediately offer its download to users without redirecting to the vault UI page.
That diff introduces that improvement plus some small changes:
- rename 'Download' Actions menu entries to
as tarball
andas git
- add archive extraction instructions in the modals displayed when selecting menu entries cited above
Related #1858 (closed)
Migrated from D1727 (view on Phabricator)