See doc/getting_started.txt