Should we limit the PDF export size by default?

That’s true, another option could be to enable this only for single-document exports, i.e., ignore the size limit if just a single document shall be exported.