Statistics for GUADEC 2020