HardwareFlexPi: A flexible version of the Raspberry Pi Pico with RGB LED and USB-C is now on Kickstarter