/proc/thread-self/root/proc/self/root/usr/share/awk
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 /.
# join.awk --- join an array into a string## Arnold Robbins, arnold@skeeve.com, Public Domain# May 1993 function join(array, start, end, sep, result, i){ if (sep == "") sep = " " else if (sep == SUBSEP) # magic value sep = "" result = array[start] for (i = start + 1; i <= end; i++) result = result sep array[i] return result}