Summary of changes: f8cf90b... Re-enable hotkeys support and add a symbol. (#727022) (*) 3dacf78... update (*) 956ea14... fix a typo (*) 2ab9a66... fix a typo (*) (*) This commit already existed in another branch; no separate mail sent