Z:gnu-www-ja-gnu-linux-faq--0711b9-Wouldn't it be better to call/en

Wouldn't it be better to call the system &ldquo;Linux&rdquo; and teach people its real origin with a ten-minute explanation? (#explain)