Second in-workshop edits, explaining how to open .ipynb files