Hi!
Thanks for guiding me in solving this issue :)
I am editing the file to see if I can finish the task, will answer back with my new results.

Thanks!  (Please use “diff -u” in the future; it’s clearer when you’re
used to git diffs.)
Will take this into account!

  What about what “guix pull” installs?
Yes, I thought about this.

Regards :)
Laura