[depr]

That also exists, see https://profiler.firefox.com

I am sure Mozilla would appreciate a bug filed in Bugzilla if you can.