GitLab

I see in commit 985e8abcfb that Peter Palfrader disappeared from the people page.

Was there some algorithm by which some people stayed and some people left?

Is there a list somewhere of the people who left by that algorithm, yet the rest of us would be surprised that they're gone from the page?

Or maybe to turn it around, should we walk through the core people and compare them to the core people page and identify and resolve missing people?

Thanks!