[MonetDB-users] Re: [Monetdb-developers] MonetDB Bug-Etiquette