Release: Remove TODO for uploading release zip to GitHub since downloads are discontinued.