Hi! Does anybody know how many active users Anki has globally? And, how many shared decks have been shared globally?