Raspberry Pi Pico I2C

Hi mrburnette,
you show a pinout for a RP2040 board which highly resembles the pinout of a Teensy 3.5. I need a Teensy 3.5 replacement because all of them are out of stock, wherever I try to order. I cannot get such a board.

Can you please tell me where such a RP2040 board, as you show here, can be ordered?