@jwildeboer Ah, thanks! I mistakenly identified it as one of those free third-level domain names :)
Small server part of the pixie.town infrastructure. Registration is closed.