Change usernames

Imported from our previous feedback board. Originally posted 2025-05-21 with 1 vote.