Adding index_dev.html, which allows me to work with uncompressed versions
of the file.