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'
Merge remote-tracking branch 'yan/bug/10241'