fix hotkey documentation and index html