Huge performance improvement for HTML matcher