Clicking through that historical board member info, the names used for each individual remain consistent. These are obviously their legal names. I don't know what the issue is.
Just nitpicking that awkwardly worded PR I guess. But the PR gives both names so it's not like an attempt to hide anything or anyone happened.