Linux免费，Red Hat收费，这是一种讽刺吗？怎么看待这个问题?