Tidy, doing a update-directory-index.sh

Maybe @rrees or @andrewcb forget to run ./update-directory-index.sh ?