No crashing so far. And no time outs either. But on both I'll have to wait and see.
I used Develop in the Safari menu bar to Empty Caches (surely Safari's), not remembering another route. But there is another route that somebody pointed out to me -- and that I should have remembered. Go to my user Library, Caches, and delete com.apple.Safari. Which I did.
But is it right to assume that Develop's "Empty Caches" does the same job that the deletion of the file named "com.apple.Safari" does. I assume so. But when different but similar words are used, one has to wonder whether that verbal difference means a substantive difference.
