I apologize in advance that so many of these comments pertain to the synopses and descriptions, but I find that aspect of packaging important, and Ludo was kind enough to write up the "Synopses and Descriptions" section in guix.info.
Along the way I gave up trying to analyse and comment on inputs vs propagated-inputs. The builds check out, and we can adjust later if needed. In the absense of comments on a patch, assume a "LGTM!" :) Thank you, Paul for all the effort, `~Eric