Tools for generating useful reports when translating the GeoGebra manual on MediaWiki