Update index.html

Latest Dev Tools shortcut changes