Profiler API: logging tweaks & the profiler tool