nostr:npub1lxtnww76w6n5js6yvhm0pua0fky96df2q252ssuv70m43gta36eqlewnka Renaming is part of the language server protocol, so yes :D