It'd be cool to write a little script that dumps them out into an Anki deck for spaced repetition.