In fact there wasn't much work to be done after the job.
I had to replace the block paving around the new porch, making
use of the blocks I removed at the start. Then I re-grouted the
paving with fine sand, to reduce (I hope) the likelihood of it
moving around. The last job was to tidy up and have the rubbish
collected.