Ignore down.html, and document in README