TRACE option / runtime feature gone in Jul2015 ?

Hi, I might have missed that, but the TRACE option / runtime feature to profile SQL queries (cf., https://www.monetdb.org/Documentation/Manuals/SQLreference/Runtime) appears to be gone in Jul2015. Bug or feature? Thanks! Stefan -- | Stefan.Manegold@CWI.nl | DB Architectures (DA) | | www.CWI.nl/~manegold/ | Science Park 123 (L321) | | +31 (0)20 592-4212 | 1098 XG Amsterdam (NL) |