Re: [webkit-dev] What's the current Safari UA?