Dev Images Docker images for devcontainers, CI environments, and whatever else is useful for development. These images are not user-facing, and are built manually.