My opinion: Points number 1 and 2 would be helpful, but wouldn’t necessarily be enough to make Anki a great idea in the classroom.
100%, we should teach kids about spaced repetition and the forgetting curve, when to use it and when to not. But Anki in particular doesn’t beat out physical cards + a Leitner box when you’re first learning how to memorize things.
Reasons why I think physical cards + a Leitner box are a better place to start:
Anki doesn’t have a WYSIWYG editor for cards. Learning HTML shouldn’t be a prerequisite to making engaging, well-formatted cards.
When they’re physical cards, you have to make sure this is information you want to memorize, and that it’s important enough to physically make a card for it. Unimportant information in Anki is bad.
You’re forced to think more about what you want to put on each card, which will help with learning how to make good cards, and what is and isn’t good on a flashcard, and learn the difference between things that are good to memorize via flashcards (vocabulary), and things that can be supported by memorization but can’t be done with flashcards alone (problem solving skills).
You can understand the spacing better. So many people try to control the spacing in Anki so it’s not spaced repetition. This way you get a better understanding of what Anki would be doing for you, why it would do that, and how the spaced repetition helps.
In a classroom setting, it’s possible (if you have a small amount of money/support from the school) to supply materials for every kid to make a Leitner box and to make flashcards. A lot of kids don’t have a desktop computer, or a smartphone of their own, or if they do it’s an iPhone.
Once you’ve learned how to memorize things and how spaced repetition is helpful, then getting software to schedule the repetition for you is good! But in a school context, I don’t think Anki is there yet. Some of these things are fixable within Anki, like getting a WYSIWYG editor, but I don’t think the other things are easily solvable.