Re: [support] Devel module - how to turn off page execution time?