Comment 2 for bug 2034676

The change by Fenghua that adds the "config-user-default" command is necessary for users to get started with the tool with a default configuration. Without it, new users face a huge learning curve understanding the configurations, which diminishes the usability of the tool. The other changes are fixes for issues reported by users and those discovered during testing.