And now I'm even replying to myself... Anyway, I took a few more measurements with my USB type C power meter. Plugged into the right, as seen from the keyboard, Gemini port, and observed for a bit longer, the hub itself seems to draw between 30 and 230mA, averaging around 100mA. The port provides around 5.10 Volt. Moving the hub to the left Gemini port, the power draw stays at around 100mA, but seemingly with less variation. That port seems to provide around 4.80V. I then plugged the hub into to USB C port on my Windows laptop. Now the hub just wanted around 30-50mA, with occasional spikes, from a port providing around 4.90V. Interesting. I would guess this is because the power draw to some extent is affected by what the host tells the hub to do, and whatever Windows says, seems to cause a lower standby current draw. That might suggest software optimizations on the Gemini could be able to make the hub itself use a bit less power.
As I kind of guessed, the hub seems to work fine with the PC. While I haven't been able to test the Ethernet port, it shows up as a "Realtek USB GbE Family Controller" in the device manager, and Windows says it's working. As the USB ports likely shares a common controller, they can, per the USB 3 standard, share up to 900mA among the connected devices. Apparently insufficient to power two of my external hard drives, one hard drive and one card reader worked well. Plugging in external power did, as expected, not help, since this limitation is in the protocols rather than in the amount of power physically available. Still, I'm glad I can connect an external USB 3 hard drive to the USB C port of my PC, using the Gemini hub, since most USB C to A adapters are USB 2.0 only (a bit slow for 400GB backups) and USB type C to USB 3 micro type B cables seems as common as hens teeth, Oh, well, I'm veering OT, so I'd better shut up now ;-)