>>420
惑星とは呼ばれなくなったけど、資源は結構あったから、火星や金星と並ぶ初期の開拓地に
なったんだよな。今は鉱山の跡が観光施設になっているらしいよ。