user gougou has a broken ssh pubkey, needs support

Hello everyone,

I'm writing for user gougou, who has a valid account - and also a working email address - but can't ssh into tilde.team as the public key he supplied a while ago is broken (some kind of file corruption).

What would be the right way for him to get this corrected? To who by what means can he send his pubkey so that it can be put into his auhtorized_keys?

I do have a copy, but frankly, it should be him providing it...

Thanks :-) ~yalla.