The KDC key harvester is repaired.
I fixed the code of my fairly agressive key harvesting system, it should refresh the kdc name2key database fairly fast.
EDIT:
i also fixed a stupid bug that made the program process only half the keys.
Silly me…