OH yea, I confused it with the movie name.

Surprisingly, the wikipage fails to mention it was a failed experiment and doesn't mention the ocean issue at all.

Well wasn't that like the first real attempt on this & to a degree a non-optimal one at that ?

Its not like sustainable extraterrestrial habitats will not be needed elsewhere anyway, so it should be hopefully long established technology (by the lava tube settlers of the Moon or the Oneil Cylinder bunch from L3) when you do the first interstellar ship.