Comment # 42 on bug 802624 from Wolfgang Bauer

(In reply to Egbert Eich from comment #41)
> Can you edit the wiki page yourself?

Can I?
No idea, haven't tried yet.

Still, it would need a new ymp file as well, which I don't know how to supply.