Should the lawn be trimmed or left to grow ?