Merge proposals

khronos-opengl-man4 in Ubuntu has no merge proposals.