docs: def get_oath_hotp_bits(params):
      """ Extract the OATH-HOTP uid and OTP from params. """
      if "uid" in params:
          return params["uid"][0], int(params["hotp"][0])
      m = re.match("^([cbdefghijklnrtuv]*)([0-9]{6,8})", params["hotp"][0])
      uid, otp, = m.groups()
      return uid, int(otp),