Since releases are in a dedicated part of github, this file is no longer useful