[klrr]

Note: RMS think Linux is "good enough" and Linux-libre is part of GNU, so Linux will be used for the in-development official GNU "distro".