Merge proposals

gnome-user-docs in Ubuntu has no merge proposals.