Hi, pushed changes to guix master as commits a54f373e6ec940e08b3fc95f2b5938429001976d, 4c88ae7b0331a7d671321a345eacc2bdb7595ee5, a632eeb86cea83957cae69e58e2120cbce598723, 7ee215dea9226518911774f35130323d602a8ba9 with small changes to the commit message, and added comments.