[PATCH v6 06/14] reindex: drop all properties named with prefix "index."

[David Bremner]

Daniel Kahn Gillmor <dkg at fifthhorseman.net> writes:

>   *
> + * Notmuch has some conventions about how certain properties are
> + * treated.  Those conventions include:
> + *
> + * - properties whose name begins with "index." are cleared (and
> + *   possibly re-set) upon reindexing.
> + *
>   */

I wonder if this duplication of documentation is a good idea. I agree
it's conceptually part of the API, but I worry that the two copies will
drift apart. One option would be to have notmuch.h comment point to the
man page.