Updated doc/main.md to be accurate.