Huh, none of these show the workaround I've always used: create a new folder and delete it. That's been my "pseudo-refresh" for years, because it's relatively quick to type command-shift-n, command-delete.