rchainsrt These are the files associate with the Rchain-transcripts project the rkt file is the racket source. The srt file is the text from a recent Rchain debrief