Argh.  Found it. In the ledFlash example, line 42, replace LED.e8Bit with LED.e4Bit.  Now I have to dig to find out what that does and why it matters.  Perhaps “8 bits” and “4 bits” in the comment on line 40 are poorly translated, and this should be “8 digits” and “4 digits”? There is a 8 digit version of the LED module.