I wonder how they prompted these users to change their usernames. Was it just a "we need your username for our business, so comply" notice?
https://web.archive.org/web/20210702114132/github.com/copilo... some proof this was an actual user
Looks like he's now https://github.com/ogcopilot
Looks like he's now https://github.com/ogcopilot