Hmm, not sure what's up. I don't know much about the inner workings of HTTPS-Everywhere.
Have you seen darkweb-everywhere? It's a (now defunct) firefox extension that does exactly that: https://github.com/chris-barry/darkweb-everywhere
darkweb everywhere: +2 for idea, -1 for name
pity the project is no longer alive.
More information about formatting options
Drupal Design and Maintenance by New Eon Media
Drupal Development by Chapter Three