This was already added: --8<---------------cut here---------------start------------->8--- ca571f4259df82500c687effcdb7d11904a52e6c Author: Giacomo Leidi via Guix-patches via AuthorDate: Wed Apr 17 10:34:44 2024 +0100 Commit: Christopher Baines CommitDate: Sun May 12 18:40:33 2024 +0100 --8<---------------cut here---------------end--------------->8--- Closing. -- Oleg