Reply to the post "Hackers stopped the largest US pipeline"