Calling both "seniors" is a bit of a misnomer, like it's technically true but at the time Jeff was, if memory serves, Timnit's manager's manager's manager (mayb

Calling both "seniors" is a bit of a misnomer, like it's technically true but at the time Jeff was, if memory serves, Timnit's manager's manager's manager (maybe one more?), the level of seniority is not the same. And the callout was explicitly for (internally) claiming to want to be supportive, but failing to do so externally. It doesn't seem unreasonable in context.