[diversity] Minutes of the RIPE 87 Diversity, Equity and Inclusion in Tech Session