Ha, I should have followed the "hard way" link before asking 🙂 I see I can set up a DNS TXT record. I'll do that!