Rename symbol in editor

[nbbaier]

VSCode has a command Rename symbol that allows you to replace all instances of a symbol with a new string. It would be great if this could be implemented in val town's code mirror! I did some looking and couldn't find an extension but my search wasn't that extensive.