It depends. As a human being with extra corrosive sweat who also lives in the Deep South the fact that glock mags are both cheap and don’t easily rust has been worth a couple tenths of an inch in width for me.
Yes, just that a couple tenths is creeping up on a quarter
Plus, 0.200 probably means four rounds or so.