Disable F10 Keybinding in GTK-based terminals, according to <http://askubuntu.com/questions/103200/unbinding-f10-on-a-terminal/105023#105023>.