/proc/2/root/usr/share/doc/libsigsegv
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 /.
Authors of GNU libsigsegv. Bruno Haible <bruno@clisp.org> Versions 1.0 and 2.0Paolo Bonzini <bonzini@gnu.org> HP-UX, MacOS X, Cygwin supportEric Blake <eblake@redhat.com> Cygwin support