Massimiliano Ziccardi Are you working today? All PR's were merged to sync branch.
We may build sync branch and check if things are linked properly etc.

Jan Hellar Pavel Sturc Laura Fitzgerald for more eyes on this.
It's critical issue that blocks us with docs release.