Fix some issues reported by lintian#6

Open

debian-janitor wants to merge 3 commits intoCafeOBJ:debianfrom

debian-janitor:lintian-fixes

Commits on Nov 24, 2022

Commits on Jun 13, 2023

Update standards version to 4.6.2, no changes needed.
debian-janitor
committed