Run an SSH Server on an RP2040 Pico with Ethernet

Picture a lab bench at 11 PM, a thesis demo due in the morning, and a board that only talks over a USB cable you keep unplugging by accident. Ricardo Marques went the other way: he made an RP2040 answ