opengl.org update 2014-02-09
opengl.org update 2014-02-11 - sync.sh update, XML files added, documentation reshuffle.