Adding HAL Specification links