Terminal now has PushState and PopState