In reply to this post:

@tildetodd “reset” is easier to remember & also fixes a borked terminal