Avoid collisions on case-sensitive filesystems
Merge branch 'master' of https://git.torproject.org/https-everywhere
[Magyar Telekom] Add site
[Jobbik] Add site
[Domaintank] Add site