Very nice image and what a resolution! - thank you for sharing the link Marc
Out of curiosity I measured the 4K version with PI and it estimated star's eccentricity at 0.466. Perhaps we should stop worrying about slightly elongated stars in our amateur set-ups
Very impressive image....but...gee the colour is weird, and there is a lot of bloat around the brighter stars...almost like spherical aberration ...yet details look super sharp....