(In reply to Wolfgang Bauer from comment #42) > (In reply to Egbert Eich from comment #41) > > Can you edit the wiki page yourself? > > Can I? > No idea, haven't tried yet. Well, yes I can and just added a warning regarding this. Please review, and change accordingly if you think it should be done in a different way. My second question still stands though.