"I think we ought to not just document the difference, but also emit ausefulerror message at startup..."Sure Andres, I am working on a patch which emits a useful error message too.