diff --git a/services/web/frontend/extracted-translations.json b/services/web/frontend/extracted-translations.json
index 78926f3ee2..40573a80f9 100644
--- a/services/web/frontend/extracted-translations.json
+++ b/services/web/frontend/extracted-translations.json
@@ -494,6 +494,7 @@
   "from_enforcement_date": "",
   "from_external_url": "",
   "from_filename": "",
+  "from_github": "",
   "from_project_files": "",
   "from_provider": "",
   "from_url": "",
@@ -541,6 +542,7 @@
   "github_credentials_expired": "",
   "github_empty_repository_error": "",
   "github_file_name_error": "",
+  "github_file_sync_error": "",
   "github_git_folder_error": "",
   "github_integration_lowercase": "",
   "github_is_no_longer_connected": "",
diff --git a/services/web/locales/en.json b/services/web/locales/en.json
index b35db49182..7529f35d1f 100644
--- a/services/web/locales/en.json
+++ b/services/web/locales/en.json
@@ -711,6 +711,7 @@
   "from_enforcement_date": "From __enforcementDate__ any additional editors on this project will be made viewers.",
   "from_external_url": "From external URL",
   "from_filename": "From <0>__filename__</0>",
+  "from_github": "From GitHub",
   "from_project_files": "From project files",
   "from_provider": "From __provider__",
   "from_url": "From URL",
@@ -776,6 +777,7 @@
   "github_credentials_expired": "Your GitHub authorization credentials have expired",
   "github_empty_repository_error": "It looks like your GitHub repository is empty or not yet available. Create a new file on GitHub.com then try again.",
   "github_file_name_error": "This repository cannot be imported, because it contains file(s) with an invalid filename:",
+  "github_file_sync_error": "We are unable to sync the following files:",
   "github_git_and_dropbox_integrations": "<0>Github</0>, <0>Git</0> and <0>Dropbox</0> integrations",
   "github_git_folder_error": "This project contains a .git folder at the top level, indicating that it is already a git repository. The Overleaf GitHub sync service cannot sync git histories. Please remove the .git folder and try again.",
   "github_integration_lowercase": "Git and GitHub integration",
diff --git a/services/web/test/frontend/bootstrap.js b/services/web/test/frontend/bootstrap.js
index 306545a3ec..d39dfffffc 100644
--- a/services/web/test/frontend/bootstrap.js
+++ b/services/web/test/frontend/bootstrap.js
@@ -85,9 +85,9 @@ globalThis.fetch =
   window.fetch =
     (url, ...options) => fetch(new URL(url, 'http://127.0.0.1'), ...options)
 
-// ignore CSS files
+// ignore CSS/LESS files
 const { addHook } = require('pirates')
-addHook(() => '', { exts: ['.css'], ignoreNodeModules: false })
+addHook(() => '', { exts: ['.css', '.less'], ignoreNodeModules: false })
 
 globalThis.HTMLElement.prototype.scrollIntoView = () => {}