diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json
index b2808c0d9..18095e77e 100644
--- a/arduino-ide-extension/package.json
+++ b/arduino-ide-extension/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "2.0.0-rc9.3",
+  "version": "2.0.0-rc9.4",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "AGPL-3.0-or-later",
   "scripts": {
@@ -160,7 +160,7 @@
   ],
   "arduino": {
     "cli": {
-      "version": "0.27.0-rc.1"
+      "version": "0.27.1"
     },
     "fwuploader": {
       "version": "2.2.0"
diff --git a/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx b/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
index 2e85025fb..136180202 100644
--- a/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
+++ b/arduino-ide-extension/src/browser/serial/monitor/serial-monitor-send-output.tsx
@@ -109,7 +109,7 @@ const _Row = ({
 }) => {
   const timestamp =
     (data.timestamp &&
-      `${dateFormat(data.lines[index].timestamp, 'H:M:ss.l')} -> `) ||
+      `${dateFormat(data.lines[index].timestamp, 'HH:MM:ss.l')} -> `) ||
     '';
   return (
     (data.lines[index].lineLen && (
diff --git a/browser-app/package.json b/browser-app/package.json
index a191f4a51..26fabec10 100644
--- a/browser-app/package.json
+++ b/browser-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "2.0.0-rc9.3",
+  "version": "2.0.0-rc9.4",
   "license": "AGPL-3.0-or-later",
   "dependencies": {
     "@theia/core": "1.25.0",
@@ -19,7 +19,7 @@
     "@theia/process": "1.25.0",
     "@theia/terminal": "1.25.0",
     "@theia/workspace": "1.25.0",
-    "arduino-ide-extension": "2.0.0-rc9.3"
+    "arduino-ide-extension": "2.0.0-rc9.4"
   },
   "devDependencies": {
     "@theia/cli": "1.25.0"
diff --git a/docs/advanced-usage.md b/docs/advanced-usage.md
new file mode 100644
index 000000000..bd5d96c3b
--- /dev/null
+++ b/docs/advanced-usage.md
@@ -0,0 +1,14 @@
+# Advanced usage
+
+## Advanced settings
+
+The Arduino IDE's primary settings are accessible via the **File > Preferences** menu item. These provide all the configuration capability required by the average user to develop sketches.
+
+Arduino IDE has some additional settings which may be of interest to advanced users who want to do things such as fine tune the behavior of the application or increase log output while investigating a problem.
+
+These advanced settings can be accessed by the following procedure:
+
+1. Press the <kbd>**Ctrl**</kbd>+<kbd>**Shift**</kbd>+<kbd>**P**</kbd> keyboard shortcut (<kbd>**Command**</kbd>+<kbd>**Shift**</kbd>+<kbd>**P**</kbd> for macOS users) to open the "**Command Palette**".
+1. Select the "**Preferences: Open Settings (UI)**" command from the menu.
+
+This will open a "**Preferences**" view in the IDE. Once you are finished adjusting settings, it can be closed by clicking the **X** icon on the "**Preferences**" tab.
diff --git a/electron-app/package.json b/electron-app/package.json
index d21437cfe..eb967f678 100644
--- a/electron-app/package.json
+++ b/electron-app/package.json
@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "2.0.0-rc9.3",
+  "version": "2.0.0-rc9.4",
   "license": "AGPL-3.0-or-later",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -21,7 +21,7 @@
     "@theia/process": "1.25.0",
     "@theia/terminal": "1.25.0",
     "@theia/workspace": "1.25.0",
-    "arduino-ide-extension": "2.0.0-rc9.3"
+    "arduino-ide-extension": "2.0.0-rc9.4"
   },
   "devDependencies": {
     "@theia/cli": "1.25.0",
diff --git a/package.json b/package.json
index 52e21349d..c4c2d0626 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide",
-  "version": "2.0.0-rc9.3",
+  "version": "2.0.0-rc9.4",
   "description": "Arduino IDE",
   "repository": "https://github.com/arduino/arduino-ide.git",
   "author": "Arduino SA",