The source code of mboxgrep is now version controlled with git.