Has profiling been removed from the SDK?

There should be the “Profiling…” next to debugging, right? SDK 3.1 alpha4/jpony edition

As far as I know, Profiling has always been a separate plugin download. At least since 3.0 alpha 4 (5+ years ago) or so, I’ve always had to reinstall it every time I install a new SDK.