This some great trivia! Thanks!
Exactly ... hooda’thunk?
And of course, HAL is an homage to IBM in another way... just substitute the next letter in the alphabet for each letter in H, A, and L.