Editorial hiatus starting 20 July

The BIB editor will be out of the editorial chair for a period starting on Thursday 20 July and lasting no more than a week; so please keep sending in news, but don't expect it to appear before Wednesday 26 July at the earliest.