this post was submitted on 11 Mar 2025
12 points (92.9% liked)
Lemmy.world Support
3342 readers
12 users here now
Lemmy.world Support
Welcome to the official Lemmy.world Support community! Post your issues or questions about Lemmy.world here.
This community is for issues related to the Lemmy World instance only. For Lemmy software requests or bug reports, please go to the Lemmy github page.
This community is subject to the rules defined here for lemmy.world.
You can also DM https://lemmy.world/u/lwreport or email [email protected] (PGP Supported) if you need to reach our directly to the admin team.
Follow us for server news ๐
Outages ๐ฅ
https://status.lemmy.world/
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It appears that Lemmy usernames are case-insensitive. So it should not make a difference.
https://github.com/LemmyNet/lemmy/issues/341
That's good to know, it makes sense that they wouldn't be. Does this mean that @[email protected]'s Name capitalization could be changed? It wouldn't affect the other servers who already know him but it would make all new servers who learn of him have the correct capitalization.
I will add the caveat that I would be very hesitant to try it without some careful research, and testing it on a dummy account. You never know what might break.
Makes sense, it's one thing to do it in theory, another to do it in practice.