(fix) tracer: provide WebUser with mango.execution-tracer=true to switch
on