Pull the latest version of the repo with GitHub Desktop (all set up on Cornelius).

If that fails, see if the config in userChrome.css needs to be tweaked.

For a new machine: (setup) (but install with git to make updating easier).