Posted Nov 27, 2011 6:41 UTC (Sun) by JoeBuck (subscriber, #2330)
[Link]
Yes, but considering that one big market for Red Hat is supplying servers for customers to run electronic design automation software, the name collision is going to be confusing to their customers (though someone's probably checked by now for any clashing command names).