[hilbert42]

Correct, but as I mentioned above, one should use the original acronym form when referring to an old version that was specifically named that way.