ports/education/anki/patches
