@tsto thank you very much for this! I found out that the address in question is indeed fine and appears verified in the following two:
but not in
https://eosio.github.io/genesis/tools/account-name/index.html
So @dan apparently there must be something wrong with the latter so probably best to either fix it or remove it because this may cause people to freak out!