Patoline is a great project, that I have mentioned a few times in comments. To start gaining traction though, it should migrate from darcs to git, and move the

Patoline is a great project, that I have mentioned a few times in comments. To start gaining traction though, it should migrate from darcs to git, and move their own repo to github. It would enable people to contribute more easily, as well as bug reporting and editing the documentation.