Nice documentation for this common repair!
I hit the same trouble fixing a 1988 E30 325i (M20), had to use new connectors after bending straight didn't work reliably. Not good on a critical system.
As Shogun says, it is definitely worth getting the new version of the connector and pins:
Circular connector / D 2, 5 mm System Round receptacle 2.5, watertight
You can decide between:
61 13 0 007 441 0,5-1,0 MM, I used 61 13 0 007 442 1,0-2,5 MM
Thanks for sharing!