Moved devel.html to index.html