o1-mini vs. gpt-4o in VSCode's Copilot

The o1 models are in preview in GitHub's Copilot for VSCode. A quick tour of differences, mostly w.r.t. to chat features. And a quick review of giving both o1-mini and gpt-4o a challenge.