Hi, thanks for the patchset! Pushed to guix master as commits 355dd7135cdcdcd4c589bbb7f0f6ab5a2f26ca65 and 3e000955cd232c437cbe6994c124e30a35bc2605.