On 09/10/2017 12:08 PM, Martin Weissman wrote: > Great -- thanks! My wiki-name is MartyWeissman ( > https://wiki.python.org/moin/MartyWeissman) > Done. Thanks for contributing!