I know it sounds like a joke again, but the GNU/Linux <-> Linux distinction is kinda important semantically.