chore: Export improvements (#4617)

* wip

* i18n

shared/i18n/locales/en_US/translation.json

@@ -18,6 +18,8 @@
   "Unsubscribe": "Unsubscribe",
   "Unsubscribed from document notifications": "Unsubscribed from document notifications",
   "HTML": "HTML",
+  "PDF": "PDF",
+  "Exporting": "Exporting",
   "Markdown": "Markdown",
   "Download": "Download",
   "Download document": "Download document",
@@ -371,7 +373,6 @@
   "Export started. If you have notifications enabled, you will receive an email when it's complete.": "Export started. If you have notifications enabled, you will receive an email when it's complete.",
   "Exporting the collection <em>{{collectionName}}</em> may take some time.": "Exporting the collection <em>{{collectionName}}</em> may take some time.",
   "Your documents will be a zip of folders with files in Markdown format. Please visit the Export section in Settings to get the zip.": "Your documents will be a zip of folders with files in Markdown format. Please visit the Export section in Settings to get the zip.",
-  "Exporting": "Exporting",
   "Collections are for grouping your documents. They work best when organized around a topic or internal team — Product or Engineering for example.": "Collections are for grouping your documents. They work best when organized around a topic or internal team — Product or Engineering for example.",
   "This is the default level of access, you can give individual users or groups more access once the collection is created.": "This is the default level of access, you can give individual users or groups more access once the collection is created.",
   "Public document sharing": "Public document sharing",

shared/types.ts

@@ -22,6 +22,7 @@ export type PublicEnv = {
   MAXIMUM_IMPORT_SIZE: number;
   SUBDOMAINS_ENABLED: boolean;
   EMAIL_ENABLED: boolean;
+  PDF_EXPORT_ENABLED: boolean;
   DEFAULT_LANGUAGE: string;
   GOOGLE_ANALYTICS_ID: string | undefined;
   RELEASE: string | undefined;