[1]https://www.raspberrypi.org/products/raspberry-pi-pico/
It is kind of a bummer that it seems to be 0.1" wider than a DIP socket.