Built workshopnotes from commit e5484e0 on branch master