Red Star OS 4.0의 공개 버전이 출시되었나요?

보고된 바에 따르면레드 스타 운영 체제최신 버전은 4.0이다. 혹시 이 OS나 ISO의 사본을 갖고 있는 사람이 있나요? 제목에서 알 수 있듯이http://www.airkoryo.com.kp/"(Wikipedia에 명시된 대로) 사용되고 있습니다.

Server: Apache/2.2.15 (RedStar4.0)