Considering this post is actually 8 years old with no follow-up and the newest post is 6 years old... I wouldn't count on it.
In general, while some games still get HDR wrong, I'd read this article more as a time capsule from an age when HDR in gaming was still in its infancy.
So, based on the parts list on Github, I believe these actually have Elite-C controllers, which, as you've already noticed have an ATmega32 on them instead of the Raspberry Pi Pico. While the Pico will act like a disk when flashing, the ATmega will have to be flashed with the QMK CLI, or the QMK Toolbox on Windows.