New top-infill-extrusion-width option