Disable pre-commit workflow and update mkdocs emoji configuration

.github/workflows/pre-commit.yml

@@ -1,15 +1,16 @@
-name: pre-commit
-
-on:
-  pull_request:
-  push:
-    branches: [main]
-
-jobs:
-  pre-commit:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-      - uses: actions/setup-python@v5
-      # SEE https://github.com/pre-commit/action
-      - uses: pre-commit/[email protected]
+# disabled. We might run it manually if needed.
+#name: pre-commit
+#
+#on:
+#  pull_request:
+#  push:
+#    branches: [main]
+#
+#jobs:
+#  pre-commit:
+#    runs-on: ubuntu-latest
+#    steps:
+#      - uses: actions/checkout@v3
+#      - uses: actions/setup-python@v5
+#      # SEE https://github.com/pre-commit/action
+#      - uses: pre-commit/[email protected]

docs/mkdocs.yml

@@ -145,8 +145,8 @@ markdown_extensions:
   - md_in_html
   - attr_list
   - pymdownx.emoji:
-      emoji_index: "!!python/name:material.extensions.emoji.twemoji"
-      emoji_generator: "!!python/name:material.extensions.emoji.to_svg"
+      emoji_index: !!python/name:material.extensions.emoji.twemoji
+      emoji_generator: !!python/name:material.extensions.emoji.to_svg
   - toc:
       title: On this page
       toc_depth: 3