HOTP login for admins

Yes, using `yubikey-personalization-gui`.  I'll add a note in the view.