More details in GETTING_STARTED.md.