100x zoom on the Pixel 10 Pro has a new name — and it makes me wonder why it wasn't always this

"Pro Zoom" is what it should've been called from day one.