Is the name HTTPS-Everywhere or HTTPS Everywhere?

[forteller]

On the website and here on GitHub it says HTTPS Everywhere, but on my list of installed extensions it says HTTPPS-Everywhere

[fuglede]

The dash appears to only appear in very few places. I removed them in #6081.