ooh mezzanine samples arrived, instead of 20pin 4mm they seem to have misplaced that with the 40pin variant though :(

so let's hope 3.5mm is enough for the ESP32 (3.3mm high)