"shell_label","shell_id","shell_id_HREF"
"bash","bash-098e1162","../shell-id/bash-098e1162/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-5e7933d8","../shell-id/osh-5e7933d8/"
"osh-native","osh-fd77ecb2","../shell-id/osh-fd77ecb2/"
"osh-native-souffle","osh-native-souffle-24b37908","../shell-id/osh-native-souffle-24b37908/"