Rename variable remove $ from userInput

[shyim]

I often delete the whole input and then type, in that way I delete the starting $ on the variable name.

It would be nice, if that could be stripped off from the user input 🤔

[jakubmisek]

I think we ignore the $, so it can be renamed without the $ at the beginning.

[jakubmisek]

$ is ignored when renaming variables. We intentionally keep it in the input, so what is being renamed is obvious. The identifier without the $ can have a different meaning.