Mariatta, Do you think we could add a webhook for the build of the documentation for each PR where the build of the doc works?