Red Star OS 4.0の公開バージョンがリリースされましたか？

報告されたところによるとレッドスターオペレーティングシステム最新バージョンは4.0です。このOSやISOのコピーを持っている人はいますか？タイトルからわかるようにhttp://www.airkoryo.com.kp/「（Wikipediaに指定されているとおり）使用されています。

Server: Apache/2.2.15 (RedStar4.0)