ホームドアで邪魔者扱いされるのはよくあるが
そんくらいの誤差ホームドア側の大きさゆとりもたせて
吸収せえよ、と思わんでもなかったり