I should probably update the screencast because I have changed UI since recording it.
Mostly changing colors, but also adding few important features, like "interesting mode" which I sometimes demo in the talks[1].
"Interesting mode" hides uninteresting/confusing IR instructions and splices sources into the IR helping people to navigate it and find IR chunks that interest them.