Add EstebenR Devcontainers to collection#612

EstebenR wants to merge 2 commits intodevcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

EstebenR:patch-1EstebenR/devcontainers.github.io:patch-1Copy head branch name to clipboard