[pdftex] pdflatex adds spaces between letters, which makes search impossible

[Olivier]

Thank you very much for finding this! I didn't have such success when I 
searched. So it seems to be a regression between `mupdf`version 1.14.0 and 
version 1.15.0
https://bugs.ghostscript.com/show_bug.cgi?id=701977

Olivier

On 07/12/2019 21:34, George N. White III wrote:
> 
> 
> On Sat, 7 Dec 2019 at 07:45, Olivier via pdftex <pdftex at tug.org 
> <mailto:pdftex at tug.org>> wrote:
> 
>       > What version of mutools? With the version I get (...)
>       > which seems to be 1.10a (...) it seems to work for me:
>       >
>       > $ mutool draw -F txt try.pdf | head -1
>       > Lorem ipsum dolor sit amet, consectetuer adipiscing elit.Ut purus elit,
> 
>     I am on a Debian Testing, with `mutool` version 1.15.0
> 
>     $ mutool -v
>     mutool version 1.15.0
> 
>     $ mutool draw -F txt test.pdf | head -1
>     Lor e m
> 
> 
> Per <https://bugs.ghostscript.com/show_bug.cgi?id=701602> 1.14 was OK, but
> "text extraction in v1.16 produces ragged output, unexpected letter spacing, etc.
> for text, html and all other formats."
> 
> -- 
> George N. White III
>