Github seems to (wrongly) optimize HTML pages now, fix download page