2008/11/17 Robin <robince@gmail.com>: > My wiki username for the documentation is robince, so if I am enabled > for write access I could make this change. Done. Thanks! Cheers Stéfan