Rename Symbols Tool Not Working in VS Code - No Results (Verse)

Thanks for the explanation. It’s a pity that this is not a bug, but simply a lack of functionality. I hope they add “smart renaming” someday!