/proc/tty
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 /.
/dev/tty /dev/tty 5 0 system:/dev/tty/dev/console /dev/console 5 1 system:console/dev/ptmx /dev/ptmx 5 2 system/dev/vc/0 /dev/vc/0 4 0 system:vtmasterserial /dev/ttyS 4 64 serialpty_slave /dev/pts 136 0-1048575 pty:slavepty_master /dev/ptm 128 0-1048575 pty:masterunknown /dev/tty 4 1-63 console