Merge proposals

bison-doc in Ubuntu has no merge proposals.