Add missing plugin

.github/workflows/deploy-website.yml

@@ -18,7 +18,7 @@ jobs:
           python-version: 3.x
 
       - name: Install necessary tools
-        run: pip install mkdocs mkdocs-material mkdocs-redirects
+        run: pip install mkdocs mkdocs-markdownextradata-plugin mkdocs-material mkdocs-redirects
 
       - name: Copy Javadoc
         run: cp -r javadoc/ docs/javadoc/