Maybe Saylor is verified via WoS and not his hope domain. I believe WoS offered this and the account is using a WoS lightning address.