Right now we replace headlines with <H>headline</H> and page numbers with <PAGE 22>. It would be better to record the positions of headlines and pages and not inject anything. This way, headlines and page numbers would be accessible for --raw searches too.
Right now we replace headlines with `<H>headline</H>` and page numbers with `<PAGE 22>`. It would be better to record the positions of headlines and pages and not inject anything. This way, headlines and page numbers would be accessible for `--raw` searches too.
In order to have page numbers and headlines with --raw, I would have to duplicate the code or make it far more complicated. I don't think it is worth the effort at the moment.
In order to have page numbers and headlines with `--raw`, I would have to duplicate the code or make it far more complicated. I don't think it is worth the effort at the moment.
Right now we replace headlines with
<H>headline</H>
and page numbers with<PAGE 22>
. It would be better to record the positions of headlines and pages and not inject anything. This way, headlines and page numbers would be accessible for--raw
searches too.In order to have page numbers and headlines with
--raw
, I would have to duplicate the code or make it far more complicated. I don't think it is worth the effort at the moment.