#10242 made it so that the welcome and overview page would be copied
to index.html when generating a docs version. This change landed in
develop however, and did not make it to the release-v1.37 branch.
So we need to do this step manually here, but will not have to in
the future.
