RecordStream-based profiler data manipulation scripts
This account is dead, I have moved to codeberg.org.