Improved hol.md and added images