Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/applications/editors/vscode/extensions/fstarlang.fstar-vscode-assistant/