javascript on download pages ignores versions.wmi
The javascript on the download pages seems to use a different file for filenames. As the versions.wmi file is updated, the changes are not reflected in the download/download-easy javascript. This is currently breaking the android download.