userdiff: fix HTML hunk header regexp