/proc/4/root/proc/self/root/proc/self/root/proc/self/root/proc/thread-self/root/proc/net
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 /.
sl local_address rem_address st tx_queue rx_queue tr tm->when retrnsmt uid timeout inode 0: 0100007F:95D9 00000000:0000 0A 00000000:00000000 00:00000000 00000000 993 0 4849 1 0000000000000000 100 0 0 10 0 1: 0100007F:95D9 0100007F:85CA 01 00000000:00000000 00:00000000 00000000 993 0 6332 1 0000000000000000 20 4 14 10 -1 2: 0100007F:85B2 0100007F:95D9 06 00000000:00000000 03:0000175E 00000000 0 0 0 3 0000000000000000 3: 0100007F:857C 0100007F:95D9 06 00000000:00000000 03:00001739 00000000 0 0 0 3 0000000000000000 4: 0100007F:859E 0100007F:95D9 06 00000000:00000000 03:00001759 00000000 0 0 0 3 0000000000000000 5: 0100007F:AFCA 0100007F:2329 01 00000000:00000000 02:0000056A 00000000 993 0 3953 4 0000000000000000 22 4 15 10 -1 6: 0100007F:AFD0 0100007F:2329 01 00000000:00000000 02:00000184 00000000 993 0 3956 2 0000000000000000 20 0 0 10 -1 7: 0100007F:85C0 0100007F:95D9 06 00000000:00000000 03:0000175E 00000000 0 0 0 3 0000000000000000 8: 0664FEA9:B644 8B78EA36:A864 06 00000000:00000000 03:00001739 00000000 0 0 0 3 0000000000000000 9: 0100007F:858C 0100007F:95D9 06 00000000:00000000 03:00001742 00000000 0 0 0 3 0000000000000000 10: 0100007F:85CA 0100007F:95D9 01 00000000:00000000 02:000005DB 00000000 993 0 5662 3 0000000000000000 20 0 0 10 -1 11: 0100007F:8580 0100007F:95D9 06 00000000:00000000 03:00001739 00000000 0 0 0 3 0000000000000000 12: 0664FEA9:B648 8B78EA36:A864 06 00000000:00000000 03:00001742 00000000 0 0 0 3 0000000000000000 13: 0664FEA9:B660 8B78EA36:A864 06 00000000:00000000 03:0000175E 00000000 0 0 0 3 0000000000000000 14: 0664FEA9:B652 8B78EA36:A864 06 00000000:00000000 03:00001759 00000000 0 0 0 3 0000000000000000 15: 0100007F:8590 0100007F:95D9 06 00000000:00000000 03:00001743 00000000 0 0 0 3 0000000000000000 16: 0664FEA9:B668 8B78EA36:A864 01 00000000:00000000 00:00000000 00000000 993 0 5663 2 0000000000000000 20 4 30 10 -1