Fix incorrect proceedings booktitle for Bret Victor video