Making it easier to sync my solved versions with NICTA unsolved master.