/proc/self/task/7/root/usr/share/licenses/setup
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 /.
Setup package is public domain. You are free to use, copy, distribute or modify included fileswithout restrictions.