redhatの由来って何？
20年以上使っているけど考えたことなかったわ。