So this lens has been out for a while but I haven’t found reviews of it on MFT. I’ve tried the 7.5mm f/2 but as a pixel peeper, I felt there were too many compromises in the edges and corners in terms of resolution/vignetting/distortion. It left the impression that it was too ambitiously designed (small + light + super wide + wide aperture) at the expense of even optical performance. The 9mm seems like it would be much more even across the frame given its specs and it being originally designed for a larger imaging circle. I’ll probably order the 9mm for my upcoming trip but was wondering if anyone here owns the lens and what your impressions are. Thanks!