Hello, I've created a pull request to correct a flawed rule for our site jondos.de. The hostname was wrongly specified as jondos.com.
The pull request is here: https://github.com/EFForg/https-everywhere/pull/5160 Please merge. Thanks in Advance! Greetings Oliver M. jondos.de SysAdmin
