a13ph comments on Extracting Performant Algorithms Using Mechanistic Interpretability