On Fri, Feb 14, 2014 at 09:58:57AM +0100, Michael Adam wrote: > On 2014-02-14 at 09:57 +0100, Michael Adam wrote: > > > > Attached, but while we're at it also experimentally uploaded to > > Did I say attached? ... :-) LGTM - pushed ! Thanks, Jeremy.