Merge pull request #92 from legendu-net/dev

Merge dev into main

Author: dclong

Dockerfile

@@ -11,7 +11,7 @@ RUN apt-get update && apt-get install -y valgrind \
     && icon from_github -r cdr/code-server -v ">=3.8.0,<4.92.0" -k amd64.deb -o /tmp/code.deb \
     && dpkg -i /tmp/code.deb \
     #&& code-server --install-extension [email protected] \
-    && code-server --install-extension asvetliakov.vscode-neovim \
+    && code-server --install-extension asvetliakov.vscode-neovim@1.18.9 \
     && code-server --install-extension mechatroner.rainbow-csv \
     && code-server --install-extension bungcip.better-toml \
     && code-server --install-extension usernamehw.errorlens \