index.html is needed as an alternative to index_devel.html to get styleguide to work