It's enough to use the force=True parameter in Page.put() if you are
prepared for this problem. This is easier than manipulate wikipedia.py. The trouble is that it will ignore the nobots template, too and thus spreads a bad custom.
--
Maybe we should find a more differentiated way. But should there be really a difference? btw. The behavior of nobots/bots changed a bit in r10774/r10775 to give a more differentiated way which bot or (NEW!!!!) script is to be denied editing a page.
Greetings
xqt