It needs to use the full root path to find the script.
Since there seems to be some problem with the doc setup on the GitHub runners, let's try running it as a separate script.