Corrected GitHub OceanDev URIs.