rename 'builtin config file' to 'default config file'; remove
references to '--dump-config'; remove a superfluous word