function matchUserAgentIgnoreCase(str) {
  const userAgent = getUserAgent();
  return caseInsensitiveContains(userAgent, str);
}
@param {string} str
@return {boolean} Whether the user agent contains the given string, ignoring
    case.