A library for augmenting text extraction / search / mapping from PDF documents rendered by PDF.js