Minor improvements for fetching GitHub releases.