@ruiting, jep, I'm going to fix this. It's the next item on my list. I'm just making sure that the Socrates demo works and editing the README; then I'm getting to this.