Nicer filename.
Removed stale accidentally-committed initial chrome user.js.
Merge branch 'master' of github.com:johan/github-improved