Global variables unexpectedly escape out to their HTML codes

Hello, Dr. Stoet! I think there is a universal issue with HTML named-entity character code escapement in the code editor that affects global variable names:

When saving the code, this automatically gets converted to:

I think you can see that many, many HTML codes that happen to also be prefixes will interfere with variable naming and also confuse people when it happens unexpectedly. I'm afraid there are so many thousands of possibilities that this must be a rather frequent problem. If you handle the code translation deliberately (e.g., for strings), then perhaps the easy way to fix this is to do the conversion only if the code is within a pair of quotation marks.