Oh I'm sorry, just followed the instruction on
the wiki, which says "please let us know (via Docs mailing
list..." I am going to look into fixing those instructions, then.
How does one become a wiki editor? Don't see a "register" button.
Thank you I will post to those other mailing lists.