[Monetdb-developers] mx tool status and future