That’s what I was guessing. I’d bet most of the people who don’t like the current (I guess now, the old) arrow key arrangement also have a 15”.

It’s honestly not something that I ever really noticed with a 13”.

Sure, but it's still a maladaptation to a problem that shouldn't exist in the first place.