Run of lintian-fixes for ppx-derivers

Try this locally (using the lintian-brush package):

debcheckout ppx-derivers
cd ppx-derivers
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/ppx-derivers lintian-fixes/main

Summary

Full worker log Full build log