#TodayILearned that F11 toggles between full screen and not-full-screen in MS Terminal