/** @return the actual user agent, or "safari" if "warm up" mode. */
 private String getUserAgent() {
   if (browserShell == null) {
     return "safari";
   }
   return browserShell.getUserAgentString();
 }