More Ctrl-r consistency: Ctrl-r to navigate history, DEL to delete history entry