What about the Oztent RX5?
https://www.oztent.com.au/products/rx-5 They released this shortly after I purchased an RV4. While not specifically designed for astro, It would be pretty darn handy to zip open the big window in the top. Wind wise, I had the RV4 at Hattah Lakes during a spring front that came through - lots of windblown sand and dust and it was noisy but the RV4 stood up to it no problems. The camp next door had the ubiquitous family dome....completely flattened with bits of poles poking out, so the Oztents are certainly strong. And don't believe the '30 second' rubbish. Sure, if you just want to pitch it without pegging anything out, but if you want everything pegged out and awnings up, try 30 minutes. It packs up long - 2.1m and it's heavy but despite my grumbles, I haven't found a more versatile tent yet.