/proc/4/task/10/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 /.
12c3a40000-7ffebfac8000 ---p 00000000 00:00 0 [rollup]Rss: 130592 kBPss: 129824 kBPss_Anon: 73844 kBPss_File: 55980 kBPss_Shmem: 0 kBShared_Clean: 1532 kBShared_Dirty: 0 kBPrivate_Clean: 55216 kBPrivate_Dirty: 73844 kBReferenced: 130592 kBAnonymous: 73844 kBLazyFree: 0 kBAnonHugePages: 0 kBShmemPmdMapped: 0 kBFilePmdMapped: 0 kBShared_Hugetlb: 0 kBPrivate_Hugetlb: 0 kBSwap: 0 kBSwapPss: 0 kBLocked: 0 kB