Fix bug Content-2235: detect IE 11's user agent and recognize it.