terminal: Ignore a few rare escape sequences