adding the option to wgDefaultUserOptions so that it is saved
bumped to version 1.3.1; layout changes