Would using something like Opera Mini have prevented this attack from happening?

I’m imagining a proxy like tool that lets high exposure individuals to request webpages, have them downloaded/parsed, and possibly rendered before handing them off to the client device.

Perhaps it would let the client download https normally but switch modes for any http requests (if I understand what happened here correctly.)