The hal-info project's README file is empty or unavailable.