[duplicate_tool_registration.https.html]
  [duplicate tool registration is invalid.]
    expected: FAIL