重さとか厚さじゃなくて占有面積の問題なんだよね。
A4ファイルより大きいのは邪魔という感覚で13がギリギリ。
慣れれば気にならないのかもしれんけど長年小さいサイズを使って来たので15を買う勇気が出ない。