HAL despawned. Luckily, nobody will miss him, and a replacement has been reverse-engineered accordingly.