The repo with the lecture used for intro to terminal module is no longer maintained. We should updated it with a fork of the new repo, I believe this is the only notebook we use.