See doc/user_guide.pdf