It bothers me that "HTTPS Everywhere" calls https://check.torproject.org https://check.torproject.org to check for tor: https://github.com/EFForg/https-everywhe

It bothers me that "HTTPS Everywhere" calls https://check.torproject.org https://check.torproject.org to check for tor: https://github.com/EFForg/https-everywhere/blob/master/src/components/ssl-observatory.js#L85 https://github.com/EFForg/https-everywhere/blob/master/src/c... I don't want my browsing calling random websites at any moment... whatever the reason for it. Can this be made optional, please? Also, slashdot (the desktop version) has problems with this browser extension :( Other than that, thank you very much for your great work, to everyone involved in the project :)