This is just a list, partially for my reference, of the tweaks I'm using in Ubuntu 12.04.