Documentation and extensions for the DRMF MediaWiki deployment