むしろ 4.0.1 の *時点* でなので、いまもそうなのかはわからないのではないでしょうか？