I am stupid. Linux is free. Yes, multiple distributions. Why or what in the market is bidding Red Hat to $ 217 per share? Is it going to stay at that level? Sure it was offered as an ipo at what $ 60? But is there a rationale to short this stock, ie to buy a put? I thought Linux is a free OS. eof