$_("Debug Stats")

$_("Summary")

$ stats = stats_summary()
$for k in stats:
    $k: $dict(stats[k])

$_("Details")

$for s in ctx.get("stats", []):
    $s.name $s.time
        $s.data