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.