Pushed to guix-maintenance as commit 81b5eab1a85196725895502637e2540a1535ce8b.