(cherry picked from commit 619354fb2c)
619354fb2c
This also makes documentation helper scripts executable.