Renamed ws_ide.html to index.html