Merge proposals

figtree in Ubuntu has no merge proposals.