DIY hole repair: Hole in the fuselage - how to repair it

Caught on the dolphin when mooring, and there you have it: There's a gaping hole in the hull, or at least the GRP is damaged. The repair instructions