Anki plugin to gamify reviews. Originally by Dominic Lerbs.