An add-on for the spaced-repetition flashcard app Anki that allows coloring and pinning your tags. On older Anki revisions that do not support tag hierarchies natively yet, the add-on also provides a ...