#ZegnatI seem to recall a discussion about using community provided names at some point instead of Alice and Bob too. Because Tantek and Martijn are a lot less anglocentric. (With consenting parties only, of course.) And could be an option to find more gender neutral names in general.