chore: remove example crate

.github/workflows/docs.yml

@@ -2,7 +2,7 @@ name: docs
 on:
   push:
     branches: [main]
-    paths: ['src/**/*.rs', 'Cargo.toml', '.github/workflows/docs.yml']
+    paths: ['crates/**/*.rs', '**/Cargo.toml', '.github/workflows/docs.yml']
   workflow_dispatch:
 
 permissions:
@@ -22,8 +22,8 @@ jobs:
         run: |
           make build.docs
           # we need an index.html page (cargo doc doesn't create it)
-          # this will just redirect to target/doc/example/index.html
-          echo '<meta http-equiv="refresh" content="0;url=example/index.html">' > target/doc/index.html
+          # this will just redirect to target/doc/imt/index.html
+          echo '<meta http-equiv="refresh" content="0;url=imt/index.html">' > target/doc/index.html
       - uses: actions/upload-pages-artifact@v3
         with:
           path: target/doc