dvf comments on Proposal: Community Curated Anki Decks For MIRI Recommended Courses