Is $machinename$ always capitalized? I wanted to write some code based on this return value, but Python's socket.gethostname() returns "Mark-PC" whereas $machinename$ returns "MARK-PC". If so, I'll just .upper() the hostname, but it seems kinda dumb that I should have to do this. Why the inconsistency?