Merge proposals

gnome-getting-started-docs in Ubuntu has no merge proposals.