Looking at photos of the Marchetti control lock. I'm making an assumption that this big red contraption is attached to the pedals, pivots down to a spring clip on the floor, allowing free movement of the pedals. Is this the case?
Edit: looked at the report. The photo of the lock from the...