Hey, what about a XML/PHP tool that just looks through a PDF for the requested section? Would this do the trick? (Or a PHP, that makes a HTML copy of PDF's section and forwards it in response to request).