>> compiling the documentation of current git I get huge PDFs. For
>> example, the NR is now 44.7MByte – previously (in my case two months
>> ago), it was 7MByte.
>
> I can see the 44M number here, but I have extractpdfmark
> disabled. Can you confiirm it is being run?
It is, definitely.
The very problem seems to be that the PDF snippets in 'lybook-db' are
no longer created with `-dgs-never-embed-fonts=#t`.
As a consequence, the new PDF file of the NR contains 3721 fonts,
while the old one only has 74 fonts.
Werner
