docs: Fix broken links in documentation#15454

JonasHelming merged 1 commit intoeclipse-theia:mastereclipse-theia/theia:masterfrom

per1234:fix-linksCopy head branch name to clipboard