Another point I have been ignoring, while trying to maintain maximum brightness, is that each time I buy another batch of LEDs they are much brighter than the previous ones anyway !
It was only a couple of years back that normal ( 25mA ) cheap LEDs broke through the 1000 mcd mark, now 11,000 are common.