/proc/self/root/proc/4/root/proc/4/task/10/root/proc/self
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 /.
4ba3c0000-7fff4d0d7000 ---p 00000000 00:00 0 [rollup]Rss: 132944 kBPss: 132160 kBPss_Anon: 76276 kBPss_File: 55884 kBPss_Shmem: 0 kBShared_Clean: 1564 kBShared_Dirty: 0 kBPrivate_Clean: 55104 kBPrivate_Dirty: 76276 kBReferenced: 132944 kBAnonymous: 76276 kBLazyFree: 0 kBAnonHugePages: 0 kBShmemPmdMapped: 0 kBFilePmdMapped: 0 kBShared_Hugetlb: 0 kBPrivate_Hugetlb: 0 kBSwap: 0 kBSwapPss: 0 kBLocked: 0 kB