> What’s the impact of simply removing all of this from generated PDF
> files? Should we instead make it optional?
I don't know. It's just one metadata element - and it's recent. I mean that
there are lots of (old) PDF files that don't have it in the first place.
> For instance, we could
>
Danny Milosavljevic skribis:
> * gnu/packages/patches/ghostscript-no-header-uuid.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add it.
> * gnu/packages/ghostscript.scm (ghostscript)[source]: Use it.
[...]
> --- /dev/null
> +++
* gnu/packages/patches/ghostscript-no-header-uuid.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ghostscript.scm (ghostscript)[source]: Use it.
---
gnu/local.mk | 1 +
gnu/packages/ghostscript.scm | 3 ++-