The summer vacation, an annual rite for so many, is not an easy thing to give up, even during a pandemic.