I have. In fact, you can check this for any site using nslookup.io ;) (so meta) See the TXT records at https://www.nslookup.io/dns-records/nslookup.io