Oops, sorry. That could have come from some older package
installation. I didn't delete the old installation, just untarred the
new sumo tarball. "Nov 13" looks quite old, too...
sb> Nor do I see it in the tarball that got uploaded, so it must be coming
sb> from somewhere else.
It is neither in the MANIFEST.tm.
Sorry for the trouble,
- Christoph