Notes

Gates' workshop wiki is [|here]. Here are some workshop notes.