"shell_label","shell_id","shell_id_HREF"
"bash","bash-6044965b","../shell-id/bash-6044965b/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-bd3afee4","../shell-id/osh-bd3afee4/"
"osh-native","osh-d11a27d3","../shell-id/osh-d11a27d3/"
"osh-native-souffle","osh-native-souffle-ef532fdd","../shell-id/osh-native-souffle-ef532fdd/"