Am Dienstag, 15. Januar 2013 schrieb Ludovic Courtès:
> So I’ll rename the (distro ...) modules to (gnu ...), because that’s
> nicer and more meaningful (“a distro of the GNU system”).
Even though it contains non-gnu packages? For now, distro seems clearer to me.
Andreas