[tor-project] Anti-censorship team meeting notes, 2023-08-17