Fix `restart-reset-terminal': terminal now restored to a sensible state when