Our audience might know what a mirror is (cf. WikiLeaks back in the
days, censorship events here and there, etc.) plus the context should
help understanding what this is about to those who don't know yet.

This reverts commit 1271ee13.

No commit message

When toggling back on Direct, the verification result gets reset because
it means that a new download has been started.

... and factorize some stuff

... and factorize some stuff

They make the browser jump to the top of the page when clicked.