[tor-project] Anti-censorship team meeting notes, 2023-10-12