Simon South writes: > This patch updates Guix to remove non-free code bundled with SDCC, a C > compiler that targets a variety of microcontroller families. Oh my, does this mean we have been shipping non-free code all this time? I have mixed feelings about the 3643-line patch. On the one hand it is great to adjust the documentation to match, OTOH it looks non-trivial to maintain. It also takes a good second place in the "longest patch contest". However since you already did the work, and this is a rather serious issue, I went along and committed the patch. Thank you very much! As you've been delivering a steady stream of high-quality patches I assume you'll be around for a while to maintain it. :-)