Anki add-on: Export redflags

I like to mark flashcards that are too hard by a redflag, then bury and modify them. This add-on lets me export a csv, that I can paste into an AI to help me simplify my cards. Instructions : Use 'export redflags' under the add-ons settings Choose where to save If u have suggestions, tell me. It's my first add-on ever, and I'm learning Python :)