Sorry for the message duplication, it's the default with my email provider.
If "guix shell -D guix --pure" is included in the new version of the manual, then I'm more than happy to drop my suggestion. Thanks for the extra context, and the general tips! Best, Mehmet
