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?