#[chrisaldrich]I didn't document names, but there were some who left Github (esp. after the acquisition) that moved to other platforms or to their own infrastructure and self-hosted work, and with this pattern, they could have kept their URLs and just redirected them certainly.