On Mon, Mar 23, 2015 at 03:10:53PM +0100, Adrian Steinmann wrote: > [Would chat count as discussion? The thing is long discussions and > open-source only on the odd weekend makes for glacial progress.] Not really and I understand your pain. Keep up with the contributions :) Joerg