Removes History.md in favor of GitHub’s Releases feature