Updated steps in HOL.md for exercise 4 to support HTML/JS version