Conversion of OpenGL (and co.) specifications in RST format