README and doc/main, update