Hello, [...] >> What is the status of this? Has the effort been abandoned? I'm of the >> opinion that WIP do not belongs to guix-patches, lest reviewers be >> drowned in a sea of unclosable tickets :-). You are welcome to post it >> to guix-devel though, where it will be archived for interested parties >> to pick it up. [...] > Maxim, > > Feel free to close this for now. I'll prioritize it again when I find the time. > > all best, > > jgart Thanks for the heads-up! Closing. Maxim