Hi Vincent, thanks for the patches! I've pushed the patchset to guix master as commits 2f0952616535c8bbd2bdeff24a9fd33e72f72c96 (inclusive) to 223e920abc023be91fe1e6747c599d547ad12bc5 (inclusive).