I think, it is a result of the word having multiple definitions in different contexts. Specifically, the original definition in context of chemistry
Electrolyte is a solid, causing electrical conductivity when dissolved
in a liquid.
Later works extended it to non-solids, of course, but the root "lyte" (AFAIK, Greek for "earth") remained.
However, in context of technical application it is clearly different, since, for example, it is common to hear a term 'solid electrolyte'. In addition to that, electrolytes are solutions that can be electrolized, but there are many things that can be electrolized, such as molten salts. "molten salt electrolyte", "solid electrolyte", "glass electrolyte" (sic!) are terms you can find. In this context a different definition is in effect
Electrolyte is a medium with ionic conductance.
This includes:
- solutions of eletrolytically dissociating compounds
- many molten salts
- some auto-dissociating liquids
- solids with ionic conductance
Assuming the second definition, if there is a gas medium with significant concentration of ions, it could fit. Normally, however, gases are molecules, and if the gas has high conductivity, it is usually mostly due to free electrons and falls under domain of plasma physics.
The possible borderline case is supercritical fluids. Well above pressure and temperature of critical point you can't really talk about 'gas' and 'liquid' since there is no phase transition between them. The density of the medium, however, might be high enough to stabilize positive and negative ions. Indeed, "supercritical electrolytes" are a thing in literature, though usually term "supercritical electrolyte solutions" is used. I didn't find anything about individual $\ce{HCl}$ specifically, but, for example, $\ce{H2O-HCl}$ mixtures at high temperature and pressure might qualify. Similarly, there are works on electrochemistry in supercritical $\ce{CO2}$