As Huxley and Huck become more popular and accepted, so does Hux, either as a full name or a diminutive.