How can I export MIUI notes?

I’m using a Xiaomi RedMi 3S phone, whose MIUI environment includes a "Notes" app.

The app itself does not have an export feature. Can I somehow locate/extract the note data into text files, or some other readable format?