Fix HTML entity escaping.
Use Python3 for running the spec tests.