peter_hartree comments on Extracting Performant Algorithms Using Mechanistic Interpretability