Sadly, my great little @Dell Inspiron mini is on its way out. Am planning to buy a Chromebook and then install Ubuntu. Anyone done that?