Thanks for all the advice, I seem to be cutting the hedge back at about
the right time of year. The choice is clearly between a formal hedge,
probably achieved with liberal use of the electric shears, or a more
casual effect, which would I suppose be best achieved with pruners, and
cautious use of the (manual) shears.