Este es un espaciador básico para el Raspberry Pi Pico. Lo estoy usando pegando el espaciador a otra parte, lo que hace que el Pico siga siendo fácil de extraer. Está destinado a ser utilizado en la cara superior del Pico, y tiene el mismo grosor que el puerto Micro USB, por lo que no debería añadir ningún grosor a tu proyecto.