In case anybody from the Kepler list is reading this, is
there a problem with that list? I posted a note there
a few days a go and it has not shown up yet, and the
archives seem to end at Dec 14....
Sorry for the noise on the Lua list.