new Region.delete_zero_faces(), used in .complete_description()