It's easy to read too much into a tweet, but it sounds like the header size overhead and number of options are the primary reasons for not using IPv6.
Note also that IPv4 and IPv6 are nearly independent of the routing protocol.
Also, my first job was writing discrete event models of wireless communications equipment, including a couple satellite models. You'd be surprised how simple satellites themselves are. A lot of work goes into moving the complexity from the fragile, expensive, and out-of-reach satellites and into the ground stations. I wouldn't be surprised if packets weren't at least partially source-routed, which might very well involve broadcasting GPS-like tables of satellite orbit parameters.