Re: [MonetDB-users] Reminder: MonetDB Bug-Etiquette