Updates link to HAL draft 5