/proc
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
nodev sysfsnodev tmpfsnodev bdevnodev procnodev cgroupnodev cgroup2nodev cpusetnodev devtmpfsnodev binfmt_miscnodev debugfsnodev securityfsnodev sockfsnodev bpfnodev pipefsnodev ramfsnodev hugetlbfsnodev rpc_pipefsnodev devpts ext3 ext2 ext4 squashfsnodev nfsnodev nfs4nodev autofs fuseblknodev fusenodev fusectlnodev overlay xfsnodev mqueuenodev pstore