So that's it then. No more shed.
Last week we had near-hurricane force winds which demolished half-a-dozen trees in our area, killed 7 people across the country, and caused no end of damage. One of the casualties was my rickety old shed, which I found in several pieces scattered all over the allotment - the roof, which I'd battled with once or twice before, had been blown right into the next-door-neighbour's allotment (and this is the roof that requires at least two people to lift it).
I shifted all the vulnerable stuff like the lawnmower over into my greenhouse, which is also sporting a plywood sticking-plaster after one pane of glass was blown loose and cracked its corner and the corner of the one below it. At least it's still standing, and relatively dry inside! Then I stacked all the bits of shed in a big heap and gazed disconsolately at the sorry-looking and very damp floor which is all I now have left. Luckily I also have a very handy and generous husband who's offered to build me another one - discussions are continuing as to exactly how!
Meanwhile my baby peas and broad beans are now up at the allotment under fleece waiting for me to find the time (between shed-related crises) to plant them out. The beans haven't overwintered well - I planted them in October which these days is far too early - but the peas are looking great. The garlic is already in, so once those two are planted that'll be my early crops in place - just in time for spring!