Rohin Shah comments on Catch-Up Algorithmic Progress Might Actually be 60× per Year