more compact output of profile_video (summary in the first line of output)
more compact output of profile_video (summary in the first line of output)

regular/pyglet-avbin-optimizations,regular/pyglet-avbin-optimizations,regular/pyglet-avbin-optimizations,regular/pyglet-avbin-optimizations