Update stone: convention.scrbl: Remove definition of "board"