.devcontainer/devcontainer.json | 82 ++++++++++++++++++++++++--------
 .devcontainer/on-create.sh      | 38 +++++++++++++++
 .devcontainer/update-content.sh | 19 ++++++++
 docs/internals/devcontainer.md  | 32 +++++++++++++
 docs/operations/development.md  |  2 +
 5 files changed, 154 insertions(+), 19 deletions(-)