Trivial updates. Remove repl file. Update description.