Only a little bit, thankfully, enough to see that he appeared big enough to survive a Hampshire winter in a relatively sheltered back garden.
I was clearing some of the leaves off a side bed, first opportunity this year now the bastarding killer wasps that made themselves a burrow in that bed, last Spring have either gone or are, too, hibernating- they wouldn't let me near the bed all summer); I have some low clumping ornamental grass that looks quite nice over winter, but it was flattened beneath leaves, so I pulled some off, then came across a bit of a dome of them, slicked together. I lifted the edge of this dome, and lo! So I quickly replaced the dome, placed another dump of leaves on top to the depth it had been, then got a metal dustbin lid which I propped up on bricks around the mound (several escape holes) so keep the worst of the rain off.
Hope he'll be okay, and feel privileged to have a hedgehog in the garden!
But a reminder to me to not be too tidy in the winter garden!