A high-level bot framework for interacting with MediaWiki wikis. Manual and Help Documents