Finally, I've been able to update my X25 4G Gemini to Oreo Over-The-Air.
I know Hitherwood posted in this thread on May 7, telling that he'd been able to update his Gemini OTA, but I think he's got an X27 4G unit, so I'd hereby like to share that it finally worked for at least my X25 4G unit as well. I know manual download of the update has been available for a while, but I decided to wait for the OTA update to get fixed, partly since I wasn't in any particular hurry to get Oreo and party so I could use my own Gemini to verify that the X25 4G OTA update actually got fixed.
All my previous attempts, always stalled no later than at 359.36MB and wouldn't resume. Other posts in this thread, mentions that exact number too, and MarkD posted on May 6, which is before the update was pulled for a few days, that the OTA server appeared to be missing one particular file.
When the OTA update came back on line, my downloads kept stalling at that point, so just in case Planet Computers maybe fixed something for the X27 update but not for the X25, on Saturday May 11, I sent them an e-mail, to which I got no reply (nor do I need one), but when I tried again (after removing the OTA.ZIP leftover from the previous attempt, and clearing data for the firmware updater) at about two'o clock PM on Monday May 13, the OTA download kept going until it was done. Maybe it was a coincidence or maybe there WAS something wrong with the X25 update. In any case, it seems to work now. The update as such felt pretty much like any Android update; it unpacked some files, rebooted, installed and rebooted again. One of the reboots left the screen off for a bit too long for comfort, but other than that, it seemed very smooth. I haven't really used my Gemini after the update, but any issues with Oreo as such belongs in another thread anyway.
In general, the OTA download seems slower and jerkier during western Europe daytime and appears to improve considerably after midnight. Whether that depends on the update server itself or on some part of the internet between me and the server, I don't know, but if experiencing a choppy download during western European daytime, trying in the wee hours might give a smoother download experience.