devcontainer.json for Ocean development environment - View it on GitHub