Subject: Consolidating patches under this one issue number

From: Dale Mellor <" guix-devel-0brg6a"@rdmp.org>
Date: Tue, 23 Apr 2024 16:59:45 +0100

The patches that follow are:
  * two patches which were originally supposed to accompany this issue
  * a fix to quieten some guix lint warnings
  * a package version micro-bump, to 5.7.2.