Celebrating high holidays during the pandemic