Adam Chlipala wrote: > Thanks for the information, Benjamin! Would you mind creating a wiki > page with this content? Others can add to it, but someone needs to take > the initiative and create the first version. Ok, I'll have a look at it, probably during the weekend. Cheers, Beni