robertzk comments on Attention Output SAEs Improve Circuit Analysis