Update documentation: the profiling API requires that external tools define a...
Update documentation: the profiling API requires that external tools define a function with a specific name.
Update documentation: the profiling API requires that external tools define a function with a specific name.