chore: remove redundant personnel (#51663)

* Some things are harder to delete than others
* No breaking changes expected

---

<img width="498" height="482" alt="gif"
src="https://github.com/user-attachments/assets/a33ff7da-2815-438d-ac7b-d6b2f91c8404"
/>

apps/docs/public/humans.txt

@@ -175,7 +175,6 @@ John Jarvis
 Joel Martin
 Johan Bergström
 John Pena
-John Schaeffer
 Jon M
 Jonathan Smock
 Jonny Summers-Muir
@@ -264,7 +263,6 @@ Patricia Szasz
 Patrick Crane
 Paul Bauer
 Paul Caselton
-Paul Cioanca
 Paul Copplestone
 Paul Ibeabuchi
 Pavel Borisov