Opla IoT Kit - LEDs have wrong colours

I can see here that a fix has been submitted for the swapped LED colors:

@jeandlx. If you want to try out that fix and want instructions, I'm happy to provide them.