Raspberry Pi Pico and rp2040 board: ethernet w5500 with plain (HTTP ...