DeepSea repo now at https://github.com/Brickimedia/DeepSea.