in js/downloads.js [6:12]
function addRelease(version, releaseDate, packages, mirrored) { releases[version] = { released: releaseDate, packages: packages, mirrored: mirrored }; }