Agenda is being built at https://github.com/t2trg/2020-07-summary