Clarify names of config files, since it's not a consistent rule

Fixes #304