> I'd be glad to host something on notmuchmail.org too. > > I suppose I should just set that up... +1 which would make it easier to find for new users. Who would have push rights? (not me). Sebastian