Re: [Monetdb-developers] We're green!