A script to convert GStreamer debug traces to Pajé file format