Z:gnu-www-ja-gnu-linux-faq--00ee85-If it's allowed for them to ch/ru

Если им позволительно изменить &ldquo;GNU&rdquo; на &ldquo;Foobar Linux&rdquo;, то вам позволительно изменить его обратно и называть это &ldquo;Foobar GNU/Linux&rdquo;. Именно это вы должны делать, потому что иначе вы стали бы разносить их ошибку и несправедливость.