けいさんの言う通り、他の人にも影響があるので、少しでも早い版で修正されるように、通報するのが望ましいと思います。