Oh, they even had support for hotkey customization with css rules but, unfortunately, got that removed too.