/proc/self/task/9/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 /.
function bindtextdomain(dir, domain){ return dir} function dcgettext(string, domain, category){ return string} function dcngettext(string1, string2, number, domain, category){ return (number == 1 ? string1 : string2)}