@feditips Then I must have created another account with this address, in the distant past. Can't explain it otherwise. Anyway, my account is properly migrated now, thanks.