Re: Strings vs symbols in notmuch-search-result-format