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”.