Improved steps in HOL document. Updated metadata and LICENSE.md. Regenerated code snippets due to some updates on them.