"shell_label","shell_id","shell_id_HREF"
"bash","bash-be94c773","../shell-id/bash-be94c773/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-1e816b68","../shell-id/osh-1e816b68/"
"osh-native","osh-03a63c69","../shell-id/osh-03a63c69/"
"osh-native-souffle","osh-native-souffle-2ca53013","../shell-id/osh-native-souffle-2ca53013/"