ガス屋に開栓に来てもらった時に、確かにそんな説明(引っこ抜けば止まる)がありました。
でも、｢いちいち抜かないで｣とも言われました。だから、実家の癖(?)で使ったら閉める気満々だったけど、ずっと刺したままです。
地震の時とかは、引っこ抜いた方がいいのかな？