[TASK] Migrate documentation link generation to new structure of manuals.json
WARNING: Preparation patch - merge after go-live!
This change updates the link generation to documentations. With new documentation server in place, the manuals.json contains more information, for example the link to the rendered documentation per extension version.