Refresh, take 2 (or: how do you reload all Safari tabs?)

On the topic of refreshing, here’s another one. Safari used to offer an option to reload all open tabs. I can no longer find that option. Can anybody tell me where it’s hiding or how to get it back?