@Scott: My bad, I was only referring to text strings. Changing variable names would lead to lots of name collisions, and we certainly don't want that.
I need to be more specific in my comments :)
@Scott: My bad, I was only referring to text strings. Changing variable names would lead to lots of name collisions, and we certainly don't want that.
I need to be more specific in my comments :)