changing name in archived messages

Stream: Zulip meta

[Paige Thomas]

Is it possible to change the name associated with an email address in the archived messages? (https://leanprover-community.github.io/archive/ Link: https://leanprover-community.github.io/archive/

[Kim Morrison]

As far as I can see in the archive, there's no association of names and email addresses in that archive, just plain string names. Unfortunately that archive is quite old now, and I'm not even sure who last touched it.

[Paige Thomas]

Ok. No problem.