When copying document sections from GitHub, do not create nested directories if the target directory already exists

[finishes #68382462]