ghwikitools provides a set of GitHub wiki management tools.