Mention HOL Zero in Other HOLs page.