/proc/self/fdinfo
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 /.
pos: 0flags: 02000002mnt_id: 13tfd: 12 events: 19 data: c pos:0 ino:413 sdev:ctfd: 10 events: 19 data: a pos:0 ino:15d7 sdev:b