So recently I switched from Safari to Opera GX on my iPad. (I already have Opera GX on my Mac.) So, when I download my PDF on Google Docs, it shows ‘Download -~-~-~-~.pdf’ (picture attached) When you click download, it downloads as a html (picture attached). How do I change this to a pdf? I tried this on GitHub but it downloaded smoothly like normal, so this is a Google Docs problem I suppose.

Information about my tech:
iPad Air 4th Gen on iPad OS 26.0.1
Opera GX version 3.0.0

Thanks! - Theo!

Pictures: