Re: [MonetDB-users] MonetDB Bug-Etiquette