I went through a couple of these GitHub usernames, they are all first deleted, but there's some presence in other sites, and it's clear that none of them likely

I went through a couple of these GitHub usernames, they are all first deleted, but there's some presence in other sites, and it's clear that none of them likely hold a regular job in any place of consequence. One of these accounts seems to spend time finding other female GitHub accounts and making condescending PRs while another was busy on far right subreddits crapping on various groups of people.