Tooling for manual doc upload to hackage.