Contributors to 2023-09-18 Making Anki flashcards from subtitles