Although the tutorial was given at the workshop it clearly lives on independently. So it should be in a different repo.
Either we move it to a new repo, or we rename this one to emphasise the tutorial material (other than a few PDFs, it is the real content that's here).
Although the tutorial was given at the workshop it clearly lives on independently. So it should be in a different repo.
Either we move it to a new repo, or we rename this one to emphasise the tutorial material (other than a few PDFs, it is the real content that's here).