これがgnu/linux名称論争の原因である。