/proc/4/root/proc/thread-self/root/proc/self/task/8/root/proc/2/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:9A45 00000000:0000 0A 00000000:00000000 00:00000000 00000000 993 0 34137 1 0000000000000000 100 0 0 10 0 1: 0664FEA9:A23A 18BE1B64:A864 06 00000000:00000000 03:0000170B 00000000 0 0 0 3 0000000000000000 2: 0100007F:A866 0100007F:2329 01 00000000:00000000 02:00000549 00000000 993 0 33343 2 0000000000000000 20 0 0 10 -1 3: 0100007F:877C 0100007F:9A45 06 00000000:00000000 03:000016F0 00000000 0 0 0 3 0000000000000000 4: 0664FEA9:A246 18BE1B64:A864 06 00000000:00000000 03:00001767 00000000 0 0 0 3 0000000000000000 5: 0100007F:87C8 0100007F:9A45 06 00000000:00000000 03:0000176F 00000000 0 0 0 3 0000000000000000 6: 0100007F:EC32 0100007F:2329 05 00000000:00000000 03:00001693 00000000 0 0 0 3 0000000000000000 7: 0664FEA9:A252 18BE1B64:A864 01 00000000:00000000 00:00000000 00000000 993 0 33473 2 0000000000000000 20 4 30 10 -1 8: 0664FEA9:D624 A4BB5B36:A864 06 00000000:00000000 03:0000168E 00000000 0 0 0 3 0000000000000000 9: 0664FEA9:A22C 18BE1B64:A864 06 00000000:00000000 03:000016F0 00000000 0 0 0 3 0000000000000000 10: 0664FEA9:A23E 18BE1B64:A864 06 00000000:00000000 03:0000175C 00000000 0 0 0 3 0000000000000000 11: 0100007F:A864 0100007F:2329 01 00000000:00000000 02:00000549 00000000 993 0 33342 4 0000000000000000 21 4 23 10 -1 12: 0100007F:878E 0100007F:9A45 06 00000000:00000000 03:0000170B 00000000 0 0 0 3 0000000000000000 13: 0100007F:87BC 0100007F:9A45 06 00000000:00000000 03:00001767 00000000 0 0 0 3 0000000000000000 14: 0100007F:87D4 0100007F:9A45 01 00000000:00000000 02:000005DB 00000000 993 0 33471 3 0000000000000000 20 0 0 10 -1 15: 0100007F:9A45 0100007F:87A8 06 00000000:00000000 03:00001759 00000000 0 0 0 3 0000000000000000 16: 0100007F:9A45 0100007F:87D4 01 00000000:00000000 00:00000000 00000000 993 0 33472 1 0000000000000000 20 4 14 10 -1