Summer break

Yours truly is about to enter an extended summer recess. Unlike hibernation, this marks a period of sensory delight and social / travel activity, alternated with brisk work periods in which I will however not be very responsive to email. Anything (or nothing) may happen until September...