We no longer need download.html due to Jonathan's update.