Is it better to keep the leaves during the milling process, even adding more if necessary, or should the olives enter the mill completely leaf-free? What is the correct school of thought: leaf or no leaf?