Update on this front: it seems like Gmail has somehow figured this out.
Here is the same thread (now with two extra messages but that is irrelevant):
Anybody know how/when this happened?
I wonder if they just started matching on name instead of from email address when building the thread participant list.