たまに本筋と関係ない枝葉末節にこだわってる人いるけど（ここ以外でも）
単に細部が気になって仕方ないのか、それともレス数を増やしたい工作なのか、何なんだろう