A mediawiki bot for uploading registry files in bulk