NEWS: cli: manual page for notmuch configuration options