download/index.html: a couple of devels/ needed to be old/