#823453 khronos-opengl-man4: get-orig-source should use a peg revision