Re: [Monetdb-developers] Some pages on monetdb.cwi.nl broken