"shell_label","shell_id","shell_id_HREF"
"bash","bash-cf76e002","../shell-id/bash-cf76e002/"
"dash","dash-0ebcf347","../shell-id/dash-0ebcf347/"
"osh-cpython","osh-1752931b","../shell-id/osh-1752931b/"
"osh-native","osh-9accd034","../shell-id/osh-9accd034/"
"osh-native-souffle","osh-native-souffle-6aec3f7d","../shell-id/osh-native-souffle-6aec3f7d/"