Mini pcie hardware clip for half size board

I’m using a mini pcie Intel AC7260 wireless card with the Apalis TK1/Ixora. It’s a half height card. The Ixora’s mini pcie socket is designed for full height, but it looks like there’s a spot where a clip could be soldered which would allow a half height mini pcie board to be used. Does Toradex supply this clip? Or can you tell me the manufacturer and part number for this clip?

It’s really the same clip which could be moved from the full size to the half size position. However it’s probably easier and more future prove to just use such a bracket instead.