[PATCH 0/5] Additional lint checks and package cleanup.

[Eric Bavier]

Hello Guix,

The patches that follow implement a few additions to 'guix lint'.  The
final patch cleans up some package synopses and descriptions to placate
the linter.

-- 
Eric Bavier