Hi Jakob,

thanks for that patch!

Pushed to guix master with a huge comment, as commit
5f04e9f9620aeb45940855e4f655f22db55ba6eb.

Feel free to Cc me with important installation-saving patches like that one.