Where is everyone from r/korea?

Because r/korea went private I thought at least some of the people would migrate to one of the lemmy communities about Korea, but looking at https://lemmyverse.net/communities and search for Korea, the most active communities there are about North Korea.