Linux keybindings, removed DashDoc