Hi Jakob, Applied with the changes below together with a commit log, following our conventions: https://guix.gnu.org/manual/devel/en/html_node/Submitting-Patches.html Thank you! Ludo’.