ParentFull threadInfernal·I think it’d be more efficient to simply pump the ocean out of the environment.View on HN