[sr-dev] git:master:bad420e9: .devcontainer: Initial support for devcontainers [skip ci]