Yep, cerium oxide is the stuff. Nothing better for truly polishing glass and removing minor imperfections.
A number of years ago when I was younger, I used Superox-100T cerium oxide compound to polish the windshield of my '95 Civic, which I still have(!). I used a TON of elbow grease polishing it by hand and I still have both arms, but the results were very much worth it. That windshield was SO spotless, it appeared to be nonexistent.