new: option terminal_backspace_binding
update: translations