More agenda.md updates