Fix another Python 3 bug
Add option to toggle dumping of settings unchanged from defaults