Explicitely naming HAL in the readme description