This isn’t true anymore, as vendors have the ability to provide other engines within the EU.

Not in the EU, at least. Time will tell if any major vendor bothers to provide a custom engine (read: their own). But important to note that this isn’t the limitation it was.

Both are rubbish in my experience - both on the development side and installation side. To be honest I don’t love building any of the package formats for Linux, and prefer installing deb/rpm. Old school I guess.

This doesn’t exactly help your situation, but as a developer that builds and publishes docker images most days of my work week, I’d not suggest anyone do the same on a drive smaller than 512GB. Docker builds create layers on the fly as changes are seen and these can range from bytes to hundreds of megs at least. Casual docker development will easily chew through a few hundred gigs after a while, in my experience.

Just trying to put things in perspective: sadly, 70GB is peanuts here if you’re working with popular software stacks. Yes there needs to be some virtual image for docker desktop and due to the above, I usually have mine set at over 200GB.