Someone calculated they expect to spend a total of around 5 minutes over their entire life studying each new Anki card. That's not such a high bar for inclusion. Spaced repetition is very efficient. Of course, it's still not reasonable to memorize entire man pages.