Part number for female connector
It turned out the part I needed was 6542.19 where the ‘A’ dimension is 5mm. I did get some of the 6542.32 with A=6, but it appears that A is the internal width of the terminal (or the width of the spade that slots into it). So 6542.19 are 6mm wide with a 5mm slot. A little confusing, but I got there in the end. The Pug dealer had them in stock which was nice (~40p each).
From this post on 205gtidrivers