No need to use JS modules just embed the data in timestamps.js

docs/_static/timestamps.js

@@ -1,12 +1,121 @@
-/*jshint esversion: 11 */
+/*jshint esversion: 6 */
-import timestamps from './timestamps_source.js';
 
 (function() {
+var data = [
+    {
+        time: "00:00",
+        description: "Intro"
+    },
+    {
+        time: "00:39",
+        description: "Pager: View command output in same window: <kbd>Ctrl+Shift+g</kbd>"
+    },
+    {
+        time: "01:43",
+        description: "Pager: View command output in a separate window"
+    },
+    {
+        time: "02:14",
+        description: "Pager: Uses shell integration in kitty"
+    },
+    {
+        time: "02:27",
+        description: "Tab text: The output of cwd and last cmd "
+    },
+    {
+        time: "03:03",
+        description: "Open files from ls output with mouse: <kbd>Ctrl+Shift+Right-click</kbd>"
+    },
+    {
+        time: "04:04",
+        description: "Open files from ls output with keyboard: <kbd>Ctrl+Shift+P>y</kbd>"
+    },
+    {
+        time: "04:26",
+        description: "Open files on click: <code>ls --hyperlink=auto</code>"
+    },
+    {
+        time: "05:03",
+        description: "Open files on click: Filetype settings in open-actions.conf"
+    },
+    {
+        time: "05:45",
+        description: "hyperlinked-grep kitten: Open grep output in editor"
+    },
+    {
+        time: "07:18",
+        description: "Remote-file kitten: View remote files locally"
+    },
+    {
+        time: "08:31",
+        description: "Remote-file kitten: Edit remote files locally"
+    },
+    {
+        time: "10:01",
+        description: "icat kitten: View images directly"
+    },
+    {
+        time: "10:36",
+        description: "icat kitten: Download & display image/gif from internet"
+    },
+    {
+        time: "11:03",
+        description: "Kitty Graphics Protocol: Live image preview in ranger"
+    },
+    {
+        time: "11:25",
+        description: "icat kitten: Display image from remote server"
+    },
+    {
+        time: "12:04",
+        description: "unicode-input kitten: Emojis in terminal "
+    },
+    {
+        time: "12:54",
+        description: "Windows: Intro"
+    },
+    {
+        time: "13:36",
+        description: "Windows: Switch focus: <kbd>Ctrl+Shift+&lt;win_nr&gt;</kbd>"
+    },
+    {
+        time: "13:48",
+        description: "Windows: Visual selection: <kbd>Ctrl+Shift+F7</kbd>"
+    },
+    {
+        time: "13:58",
+        description: "Windows: Simultaneous input"
+    },
+    {
+        time: "14:15",
+        description: "Interactive Kitty Shell: <kbd>Ctrl+Shift+Esc</kbd>"
+    },
+    {
+        time: "14:36",
+        description: "Broadcast text: <code>launch --allow-remote-control kitty +kitten broadcast</code>"
+    },
+    {
+        time: "15:18",
+        description: "Kitty Remote Control Protocol"
+    },
+    {
+        time: "15:52",
+        description: "Interactive Kitty Shell: Help"
+    },
+    {
+        time: "16:34",
+        description: "Choose theme interactively: <code>kitty +kitten themes -h</code>"
+    },
+    {
+        time: "17:23",
+        description: "Choose theme by name: <code>kitty +kitten themes [options] [theme_name]</code>"
+    }
+];
 
 function init_timestamps() {
     var loc = document.getElementById('timestamps-for-intro-video');
     if (loc) {
-        const timestamps_element = get_timestamps_container(timestamps);
+        const timestamps_element = get_timestamps_container(data);
         timestamps_element.addEventListener('click', handle_timestamp_click);
         loc.appendChild(timestamps_element);
     }

docs/_static/timestamps_source.js

@@ -1,111 +0,0 @@
-/*jshint esversion: 11 */
-export default [
-    {
-        time: "00:00",
-        description: "Intro"
-    },
-    {
-        time: "00:39",
-        description: "Pager: View command output in same window: <kbd>Ctrl+Shift+g</kbd>"
-    },
-    {
-        time: "01:43",
-        description: "Pager: View command output in a separate window"
-    },
-    {
-        time: "02:14",
-        description: "Pager: Uses shell integration in kitty"
-    },
-    {
-        time: "02:27",
-        description: "Tab text: The output of cwd and last cmd "
-    },
-    {
-        time: "03:03",
-        description: "Open files from ls output with mouse: <kbd>Ctrl+Shift+Right-click</kbd>"
-    },
-    {
-        time: "04:04",
-        description: "Open files from ls output with keyboard: <kbd>Ctrl+Shift+P>y</kbd>"
-    },
-    {
-        time: "04:26",
-        description: "Open files on click: <code>ls --hyperlink=auto</code>"
-    },
-    {
-        time: "05:03",
-        description: "Open files on click: Filetype settings in open-actions.conf"
-    },
-    {
-        time: "05:45",
-        description: "hyperlinked-grep kitten: Open grep output in editor"
-    },
-    {
-        time: "07:18",
-        description: "Remote-file kitten: View remote files locally"
-    },
-    {
-        time: "08:31",
-        description: "Remote-file kitten: Edit remote files locally"
-    },
-    {
-        time: "10:01",
-        description: "icat kitten: View images directly"
-    },
-    {
-        time: "10:36",
-        description: "icat kitten: Download & display image/gif from internet"
-    },
-    {
-        time: "11:03",
-        description: "Kitty Graphics Protocol: Live image preview in ranger"
-    },
-    {
-        time: "11:25",
-        description: "icat kitten: Display image from remote server"
-    },
-    {
-        time: "12:04",
-        description: "unicode-input kitten: Emojis in terminal "
-    },
-    {
-        time: "12:54",
-        description: "Windows: Intro"
-    },
-    {
-        time: "13:36",
-        description: "Windows: Switch focus: <kbd>Ctrl+Shift+&lt;win_nr&gt;</kbd>"
-    },
-    {
-        time: "13:48",
-        description: "Windows: Visual selection: <kbd>Ctrl+Shift+F7</kbd>"
-    },
-    {
-        time: "13:58",
-        description: "Windows: Simultaneous input"
-    },
-    {
-        time: "14:15",
-        description: "Interactive Kitty Shell: <kbd>Ctrl+Shift+Esc</kbd>"
-    },
-    {
-        time: "14:36",
-        description: "Broadcast text: <code>launch --allow-remote-control kitty +kitten broadcast</code>"
-    },
-    {
-        time: "15:18",
-        description: "Kitty Remote Control Protocol"
-    },
-    {
-        time: "15:52",
-        description: "Interactive Kitty Shell: Help"
-    },
-    {
-        time: "16:34",
-        description: "Choose theme interactively: <code>kitty +kitten themes -h</code>"
-    },
-    {
-        time: "17:23",
-        description: "Choose theme by name: <code>kitty +kitten themes [options] [theme_name]</code>"
-    }
-];

docs/conf.py

@@ -157,7 +157,7 @@ html_theme_options: Dict[str, Any] = {
 html_static_path = ['_static']
 html_favicon = html_logo = '../logo/kitty.svg'
 html_css_files = ['custom.css', 'timestamps.css']
-html_js_files = ['custom.js', ('timestamps.js', {'type': 'module'})]
+html_js_files = ['custom.js', 'timestamps.js']
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.