-
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.
835c66d7