@jwildeboer Ah, thanks! I mistakenly identified it as one of those free third-level domain names :)