I applied my proposed patch to my private branch of Guix, rebuilt my system and user profiles, rebooted, and verified that things seem to be working fine. However, since I'm unable to reproduce the original bug, I will have to rely on others to check whether this fixes the problem.
Thanks,
Mark
