Update section about Ona (Gitpod)#592

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

Siddhant-K-code:patch-1Siddhant-K-code/devcontainers.github.io:patch-1Copy head branch name to clipboard