user-manual: repo-config -> config