How do you know TorMail isn't doing that? How do you know it isn't an LE honeypot? Tor hides your IP from TorMail in exactly the same way as it hides your IP from clearnet sites. The only difference in the circuit is that TorMail is also hidden from you, whereas clearnet sites are not. Hidden services are designed to protect the hidden service, they provide no additional protection to the user, other than that LE can't find them and subpoena their records. But that's assuming the hidden service isn't run by LE. I was simply offering some backup email services that work over Tor. Since there are no other hidden service email providers, I listed some clearnet ones. You don't have to use them, but TorMail may go down again, possibly for good next time. You might want to have some backups.