Re: [Monetdb-developers] help! where i get manual