If yesterday was the hottest day of the year, we were in the right place for it: the shadiest corner of a shady woodland campsite in Wiltshire.