Another refinement to push() and .masters.  We can't filter out the master
sections early on since that breaks stacked pushes.  Filter them out in the
iteration over the sections.