Another delay, this time due to holiday commitments and overwork. Apologies for the delay, and normal service should resume shortly.