Remove .txt torrent download option

ISPs can't see filenames through TLS. This option is useless in a
codebase that forces HTTPS, and only confuses users.