deleteted VT100 keys, sorry
"arrow left" duplicates "arrow up", and "right" for "down". Reason: they did not behave very usefully before (printing invisible characters and breaking search)