Add comment-documentation for several key Theia utility classes#13324

Merged

martin-fleck-at merged 5 commits intoeclipse-theia:masterfrom jcortell68:jcortell_doc1

Feb 5, 2024

+149-1

Commits on Jan 26, 2024

Commits on Feb 2, 2024