Tools to convert Wikipedia dumps into Git repositories.