Updates to the repo after recording the second ibcm lecture