Ausgefeilter Notizen-Editor, Plug-in für AnkiDroid