Setting default format to open in tree viewer and synonymy checking on by default. These are friendlier defaults for new users.