Merge proposals

nbsphinx in Ubuntu has no merge proposals.