The above is my understanding of the situation too (based on E.A. Burtt's 'The Metaphysical Foundations of Modern Science', in my case).

Additionally, in Kuhn's book, there is an abstract argument in addition to many examples. Copernicus is one example—and a good one because of its clarity via the whole epicycle vs ellipse 'refactor'—but not the only one).