On 15/03/16 14:22, Phil Mayers wrote: > Will try 3.0 HEAD. Bah. github being extremely extremely slow (50kB/s). Ran out of time today. Will have to revisit another time.