Also notify coro_profiler on notify_now_deprecated()