[launch.frontend.launch_extension]
tracetools_launch = tracetools_launch

