html: Fix check for partial named character references Digits are allowed after the first character.
2025-02-19T12:53:32