Further information

Looking for more information on commie? There is a separate manuscript in /diffmic/doc/commie.tex that contains all information given above and much, much more detail on how commie works and how it can facilitate your daily merging.