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