I get that and I wouldn’t be thinking about this if they’d named their kid ‘Obi-Wan’. It’s just that it felt like Luke was the only one who knew him as ‘Ben’ Kenobi (I know Leia calls him Ben Kenobi in IV but that’s always bothered me as I mentioned above/below, I have lost my bearings).