Don't drop letters after digits.
Don't drop letters after digits.

This fixes the bug that the Read instance for Name used to drop the
first letter after each digit. For example, foo1a and foo1b was read as
the same identifier.

Blaisorblade/pts,Toxaris/pts