Also mirror GL ES headers and extension specifications.
Mirror GL ES documentation too.