Issue #125: Document the new HAL example