HTML-Parser: bump to 3.71