Could you look into it?

I suspect it would be easier to simply remove these two files.  Packages
in Guix don’t usually install their PDF/PS documentation, and this one
already installs its doc as HTML.

TIA!  :-)

Ludo’.