[PLUG] Increase font size on PDF file

[Rich Shepard]

On Tue, 2 Jan 2018, Carl Karsten wrote:

> Any chance of going back to the html version?  That will be much easier to
> wok with than pdf.

Carl,

   That's a thought I missed. Sure, save it and translate from there. I'd wok
the pdf but it would spoil the stir-fry. :-)

Many thanks,

Rich