It's a pretty common abbreviation of high availability on this context, with a heavy implication on active-passive redundancy (although the GP looks like an exception here). It's more used than the full wording, and part of the name of some important tools.

So, yeah, it's good that you asked, because it's not as widely known as the people that use it think it is.