Dear Maintainer,

In the pdf export windows (the one in the file menu and why not the direct
one), it would be nice if a checkbox allows to choose if the masked text is
printed or not, like in the print window (see screenshot… that’s in French but
I think that it’s understandable).

Yours,
nicolas