Our DNS is hosted by Puscii. The interface lies at https://dns.puscii.nl. One needs an account to access it. Ask on techâ’¶squat.net to get one!