/proc/4/root/proc/4/task/10
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 /.
17d0b80000-7ffc6abf6000 ---p 00000000 00:00 0 [rollup]Rss: 134320 kBPss: 133600 kBPss_Anon: 78784 kBPss_File: 54816 kBPss_Shmem: 0 kBShared_Clean: 1436 kBShared_Dirty: 0 kBPrivate_Clean: 54100 kBPrivate_Dirty: 78784 kBReferenced: 134320 kBAnonymous: 78784 kBLazyFree: 0 kBAnonHugePages: 0 kBShmemPmdMapped: 0 kBFilePmdMapped: 0 kBShared_Hugetlb: 0 kBPrivate_Hugetlb: 0 kBSwap: 0 kBSwapPss: 0 kBLocked: 0 kB