alexlyzhov comments on My tentative interpretability research agenda—topology matching.