In short, while a labeled “Refresh” key is rare, the key serves that purpose on most systems, with Ctrl+R as a handy alternative.