Elite-C and Proton C platform support?

I’ve read that the Elite-C Arduino and Proton C Arduinos are “direct drop-in” replacements for the Pro Micro/ATmega32U4, albeit with some additional features such as more I/O pins. Has anyone tested either of these with PlatformIO/VSCode?