I've been told that it is best to raise the length of my grass going in to the autumn. I've never done this before, I just keep it the same length all year round. What length should the grass be ideally in the autumn? It's not a grade "A" lawn, just something for my boys to have a knock-about on. I currently keep it about an inch long.