On Mon Feb 20, 2023 at 9:23 PM GMT, Tobias Geerinckx-Rice wrote:
> As promised in #guix — and because I think it's ready; any further 
> suggestions can still be addressed if needed — I've pushed this 
> upstream.

Yey :) Thanks!

    -- (