rkm holiday notice

Greetings,

I'll be on holiday until about 7 September, with intermittent email activity.

Continue to send things as you normally would, but expect more bursty
response times.


Cheers,
Richard