Re: [MonetDB-users] More timing information in MonetDB/XQuery