This is an educational series from 1983 on electronic music. I’ll agree with the poster of said video who states much of these videos seem much more 60s-70s. However there is really great footage and they are worth a viewing for that alone (and the power geek hairstyles of course).
Discovering Electronic Music Part 1
Discovering Electronic Music Part 2
Discovering Electronic Music Part 3