.html export now creates an index.html as well