This is crazy news: What operating system does Michael Dell use??? Ubuntu