<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <font size="4">Hi Carl,
<pre wrap="" class="moz-quote-pre">What notmuch could do to support a feature like that is to index all quoted content with a different term prefix than it does unquoted content. Then, by default search could be made to match on both terms. </pre>That would be a great solution, which completely solves the problem.