Looks like @david.ducret hasn't received any replies!