Work around HTMLParser's processing instruction parsing, stub for PI DOM handling