Removing docs from GitHub.