Add features by Iain Galloway#700

iaingalloway wants to merge 1 commit into

devcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

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