Hashcards: A plain-text spaced repetition system