I modified the commit message to use our standard format (see [1]), and pushed the patch as d4c8e8b62fb9ef59e203e97cbb9bfa9e83389199. Thanks. [1] https://guix.gnu.org/manual/devel/en/guix.html#Submitting-Patches