Notes on stuff I did to my lappy to make Ubuntu 12.10 work