For those interested, I’ve been working on an app that applies these principles for the past 3 years. [0] It uses markdown for formatting and a local-first architecture that works offline.
Anki Import worked perfectly (except MathJax) and the there are many well thought out details. Thanks for the tip.