Add generated default.config to .gitignore.
Add a comment to user.config explaining its purpose.
Remove redundant imports, add TODO's.
Remove redundant imports, drop Stage1Only.