It's over 1%. The peak grid demand according to the article was 78,206 megawatts, and the miners powered down "over 1000 megawatts", so at minimum it was 1.28% savings, potentially higher assuming the grid isn't running at that peak demand mentioned.
I suppose it's good news, but also it's a bit ridiculous that 1-2% (or more) of the entire State of Texas' summer energy usage is being wasted on mining cryptocurrency.