8fcfb3a587
Also makes this bit of code more readable, but the overall handling of Unicode characters in Actions and Transitions is messy, and may get reworked later.