Rename "builtin config file" to "default config file".
Better explain the use of the additional config files (use "-t <port>.cfg -C <config.file>"
instead of "-C <config.file>").