Added a partial ruleset for GPGTools
Added a partial ruleset for Intevation GmbH
Added a partial ruleset for the Velleman Group
[Ubuntu] Added the pay subdomain
[Ubuntu] Added the pay subdomain
[Apple] The opensource and www.opensource subdomains now support HTTPS
Added a ruleset for stallman.org (Richard Stallman's personal site)
[Stallman.org] Redirect the ww subdomain to www
Added a partial ruleset for SKS Keyservers
[GovDelivery-mismatches] Added the content-public-dc2 and media subdomains
[GovDelivery] Added support for the public-dc2 and www subdomains, listed the links subdomain as problematic, and excluded the content-public-dc2 and media subdomains as mismatches.
Added a new ruleset for CuidadoDeSalud.gov
Added a new ruleset for HealthCare.gov
[LEO] Removed - duplicate of leo.org.
[KabelDeutschland] escape dots
Merge remote-tracking branch 'jpds/duplicate-leo'
Fix ruleset bugs

From https://trac.torproject.org/projects/tor/ticket/10241
Add Mozilla keyservers (#9643)
Be less verbose
Merge remote-tracking branch 'yan/fix/9643'