rename devtools.html -> index.html