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.