Hi,

After upgrading to 9.3.1, I no longer get my prof:time info in the terminal. DEBUG is set to true in .basex and I don't remember changing any option on in older installations to enable prof:time. 

Documentation of profiling module doesn't mention any required settings and I'm not seeing a note in the CHANGELOG either. What am I missing?