Glossary: export improvements #8080
Description
Exporting terms could be improved in the following ways:
- Export to documents should add the standard portal header in the PDF
- Export glossary: when on the export page, make sure the file is sent for download (verify Content-Type header) and return to the list of terms after the action, as we are not likely to want to export in several different formats one after another