Leisure-Time Shifts in a (Mostly) Post-Pandemic World