Updated setup experience. Minor fixes in HOL document.