But there are still a pile of references to South Korea! The Juche approach to garbage collection sucks.