dom-text-mapper: added API to easily get the full (rendered) document length
dom-text-matcher: improved error handling