Export to pdf on mobile and "ignore this time"

I really love this app and I'm using it daily across all of my devices. I want to ask for two (i hope simple) features which are the possibilities to export my notes on a pdf format on mobile (my only device on the go is my iPad so would be really helpful), and another useful thing is about the spelling corrections, for as it is right now when a word is marked ad wrong you can only correct it or add to the dictionary, but i find useful add a "ignore this time", just like on LibreOffice for example for things likes names or similar.
Anyway thanks to this community and to the developer for this masterpiece of an app.

1 Like