obviously in UK your seasons are opposite to ours in southern hemisphere,
but the theory must be the same. Here some people prune in late winter just
before or as new growth starts. Others do as you say and do a light prune in
autumn to help prevent wind rock and also to get rid of any diseased leaves,
then prune properly in July/August. Both methods seem to get similar results