index.md: err, fix that whole SHA1 business