Update manual (or dist error)
trac.torproject.org/projects/tor/wiki/torbirdy/preferences
By default, Tor and Whonix use the hkp://qdigse2yzvuglcix.onion keyserver
This is wrong because when I install your addon, it's "hkp://jirk5u4osbsr34t5.onion"
I've downloaded addon from dist.torproject.org.. Which one is correct?