The HEX Lab page has moved to hex_lab.html.