What I was saying was this –
If the usernames you linked had changed their names, their history would still be showing on that page despite the change. Since they are not showing a history we would have to assume that our Phil and M are the ones with the second (changed) names, and that their original names/profile pages are unknown.