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