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