Gurkenglas comments on Löb’s theorem simply shows that Peano arithmetic cannot prove its own soundness

[Gurkenglas]

Yes, but 3 is a one-way street. You should remember the theorem, not the corollary.