A make-one-notmuch-el.pl