On 2023-04-19 00:24, Martin wrote:
> Workaround: Use pdf2svg instead.

Sorry, broken workaround: This tool changes all text to glyphs.

Better workaround: Find out correct font-size and edit.

Reply via email to