Removed extra images. Added missing anchor for heading in HOL.md