[tex-live] Making texts externally replaceable in PDFs, e.g. with sed(1)

[Arthur Reutenauer]

	Michael,

On Fri, Dec 14, 2018 at 06:03:01PM +0100, Osipov, Michael wrote:
> Especially because the post-processing on the target side is out of my hands
> at all.

  This is the information I was missing in your first email.  So to
reply to your original question: yes, it is virtually impossible to
post-process a PDF file with sed, in the general case.

	Best,

		Arthur