[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.
Edited by Thomas Löffler