Minor config. documentation improvements; remove DEVELOPER-NOTES.txt.

Document the --config runner option.