Just to let the faithful readers (both of you) here know, by wonderful coincidence all the authors here will be away on holiday over the period 1 July – 8 July, so it is quite unlikely there …