Thanks for the link to the issues, I'll look into it. Note that everything was fine by me about a month ago on GuixSD. -- Pierre Neidhardt