Download mediawiki instead of storing it in the git repo