Update agenda.json with Surma’s stuff