"shell_label","shell_id","shell_id_HREF"
"bash","bash-15a3d804","../shell-id/bash-15a3d804/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-a31ad41e","../shell-id/osh-a31ad41e/"
"osh-native","osh-07c76e09","../shell-id/osh-07c76e09/"
"osh-native-souffle","osh-native-souffle-20e91026","../shell-id/osh-native-souffle-20e91026/"