Add link to instructors' shell commands log recorded during live-coding.