If anyone is interested in pedal history, JHS Pedals creator Josh Scott (I heard his voice a couple of times in the trailer, which isn't surprising) has an absolutely incredible YouTube channel where he gives fantastic oral histories of companies and pedal designs (as well as opinions about various types of pedal and the like).
https://www.youtube.com/channel/UCjfbkA4jJkJY5g0wbjuoZWA