Is it easy to install and use Linux on all Chromebook Pixel machines? I'm looking into it, what about Ubuntu? I was googling this last night and it's surprisingly hard to track down information about this, no wonder the OP had to just go and test it for himself.
