Tau (τ) shown as 't' on windows
Windows displays 't' instead of 'τ' (tau) in error messages.
This can cause confusion for users when they get error messages such as
Encountered temporal nondeterminism for t., as they will perhaps not make the connection that 't' is actually the τ action. This was the case when I started learning Modest.