If you’re reading this editorial on the day this edition comes out, Tuesday, July 7, you’ve surely had time to enjoy