Parse identifiers with ^ and ⋆ in them.

Fixes #298.
Ignore version string during HTML tests.