Hmm, that would fit the pattern, as it sometimes also got stuck on just downloading things, even when the DNS config hadn’t been reset.
Do you need to partition the disk then, to place ext4 or similar into a separate partition? I’m not sure, we can partition the disk in that corporate Windows setup our company uses…