My hollyhocks are coming to the end of their flowering, and jolly nice they
were too.

Do I just leave them to wither away or should I cut them back come autumn?