Merge proposals

insighttoolkit5 in Ubuntu has no merge proposals.