/proc/4/root/proc/4
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 /.
281 0xd 0x7ffc9b4f5770 0x400 0x51 0x0 0x8 0x7ffc9b4f49e0 0x7fa48059dec8