Stallman luego usó la denominación "GNU/Linux".