I think it would be a good idea to verify the ara-lang.io domain on the Visual Studio Market place so that we can have a verified badge. I have already added the domain to the publisher configuration. What remains to be done is to add the following DNS records to the ara-lang.io domain.
Create a TXT record in your DNS configuration for the following hostname: _visual-studio-marketplace-ara.ara-lang.io
Use this code as the value for the TXT record: 94f9f10d-a5b9-4eae-b604-0f7c81afbd8d
Wait until your DNS configuration changes. This could take up to 72 hours.