Just curious, is there any problem with clipping off the male pins so they are shorter? (Cause I have done this where a board (Adafruit Trinket MO) stuck up too far for the enclosure lid.)
Yep! I've done that a lot too. In fact I remember being glad I finally found a diagonal cutter with a narrow enough tip to get between pins. So if I did find the low profile sockets like I linked, I'd be happy to trim the pins if necessary. But the companies making those all seem to want a lot of $. If you're like me, the high prices some companies put on connectors (3M is one of the worst) is sufficiently aggravating, its become another reason I buy from China so often these days.
I cut and glued chip sockets to get the shorties I needed.