I moved all the kdc/ethernia stuff on a brand new server, DNS entries are a little slow to update it seems. If you’re using things like my console or name2key service, there might be slight discrepancies during the next 48 hours.

If you cannot access the documentation link on the left here, the right URL is http://kdc.ethernia.not/docs/ I appear to have a slight caching issue.