I ran a little SKS-spider script to get a sense of what the current
universe of keyservers looks like. I'll commit the spider-script
to the archive soon, but in the meantime, here's what I found. I
think these are all active servers, running as of 10:40 EDT on August
10th.