It is common for North Korean IT workers to maintain a single GitHub profile as a team