Add zensical devcontainer feature to collection index#674

RiccardoBravin wants to merge 1 commit intodevcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

RiccardoBravin:gh-pagesRiccardoBravin/devcontainers.github.io:gh-pagesCopy head branch name to clipboard