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