[janwillemb]

Looks nice! Maybe add some explanation about licensing on the first pages.

And the name sounds like "butty" in Dutch, so that will be hard for me to recommend out loud for my Dutch IT students.

[Lio]

That's nothing. In certain English accents pronouncing "konty" is likely to cause even bigger, er, headaches than an innocent reference to a butty.

[dmje]

Sadly I came here to say this

[Lio]

I keep picturing my mate from Rotherham saying it... :D

[aitchnyu]

Coq apparently renamed since professors have to introduce it to 18 year olds each year.