"Removed"? Going back to 2018, it doesn't appear his name was ever on that page: https://web.archive.org/web/20180409192133/https://www.redditinc.com/ https://w

"Removed"? Going back to 2018, it doesn't appear his name was ever on that page: https://web.archive.org/web/20180409192133/https://www.redditinc.com/ https://web.archive.org/web/20180409192133/https://www.reddi...