I’ll add the extra 2-way header, then.
The male headers I used there are just bog-standard male 2.54mm square-pin pin-headers.
To get the correct length, I installed them upside-down, rather than trimming the long ends to fit into the low-profile socket.
I’m probably not going to use this approach next time, though, as this meant trimming the longer ends above the board, and it was hard to trim them neatly (especially on the top of the Teensy 3.6 board, where there wasn’t enough room between the header pins and the Teensy’s MCU to get my snips in to trim the pins down to the board).
The part number for the low-profile female header is in my post above.