I ran across earlephilhower/arduino-pico at github trying to find where you all had hidden the Thing Plus RP2040 board support, he put the Pro Micro RP2040 in his RP2040 package but he did it from grooming your site, may I suggest since your not supporting those products, send him some product, it’s the least you could due (not miss-spelled). You might want to have him fix the Arduino Artemis ‘boards’, make them generate debug files and load code then debug without manual intervention, like a real profession product.
Thanks for the suggestion.