[jve]

No, I actually just hoped there would be 7.zip that leads to 7-zip.org. But found out it was seven.zip.

I hope apps will not make links out of .zip TLD.